Isabelle Attali

Learn More
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used for designing semantic analysis, it has been automated and extended. SmartTools is easy to use thanks to its graphical user interface designed with the Java Swing APIs. It is built(More)
This paper describes the principles and the functionalities of the Minotaur system. Minotaur is a generic interactive environment based on the integration of the Centaur system and the FNC-2 system, two systems widely used to specify syntax and semantics of programming languages and generate eecient semantic tools from these speciications. We show how(More)
This article investigates the automatic distribution and parallelization of object-oriented programs. We formally deene a set of properties that allow to turn standard objects into active objects to be distributed on a network (local or wide area). We rst explain a principle of seamless sequential, multi-threaded and distributed programming using Java, that(More)
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. SmartTools is easy to use, thanks to its graphical user interface. Being based on Java and XML technologies offers all the features of SmartTools to any defined language. The main goal of this tool is to provide help and support for(More)
We present a graphical environment for parallel object-oriented programming. It provides visual tools to develop and debug object-oriented programs as well as parallel or concurrent systems. This environment was derived from a structural operational semantics of an extension of the Eiffel language, Eiffel//. Object-related features of the language(More)
Natural Semantics is a logical formalism used to specify semantic aspects of a language by sets of logical rules (called a Typol program) where a query is proved using Prolog. In a previous paper, we have shown how to replace, under certain hypotheses, the Prolog engine by a functional evaluator; this is possible because uniication is no longer required and(More)
Featuring a small set of concepts (e.g. systematic asynchronous communications , polymorphism between passive and active objects, wait-by-necessity) the Eiiel// model allows for the derivation of parallel systems from sequential ones. Based on a formal semantics of that model, this article expresses and formally proves language properties such as the(More)
This article formally defines Eiffel dynamic binding in presence of renaming and redefinition. Message passing, inheritance, and polymorphism are expressed in an operational style using natural semantics. From the formal specification, we derive an algorithm to determine the appropriate version of a feature to apply to a given object. This algorithm, based(More)
SmartTools is a semanti framework generator, based on XML and obje t te hnologies. Thanks to a pro ess of automati generation from spe i ations, SmartTools makes it possible to qui kly develop environments dedi ated to domain-spe i and programming languages. Some of these spe i ations (XML, DTD, S hemas, XSLT) are issued from the W3C whi h is an important(More)