- A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
- Adaptor synthesis for real-time components Massimo Tivoli1
- Systmes de gestion de ressources et aspects de disponibilit
- Aspects Preserving Properties Simplice Djoko Djoko
- Aspects of Availability Pascal Fradet
- Systmes de gestion de ressources et aspects de disponibilit
- Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations
- Programming Self-Organizing Systems with the Higher-Order Chemical Language
- Special Issue on Foundations of Aspect-Oriented Programming
- CASB: Common Aspect Semantics Base This document gradually introduces formal semantic descriptions of aspect mechanisms.
- Under consideration for publication in Math. Struct. in Comp. Science Generalized Multisets
- Composition, Reuse and Interaction Analysis of Stateful Aspects
- Documents d'habilitation IRISA + IFSIC
- Under consideration for publication in J. Functional Programming 1 Compilation of a Specialized Functional
- Consistency checking for multiple view software architectures
- An aspect language for robust programming Pascal Fradet
- ISSN0249-6399 de recherche
- Type checking for a multiset rewriting language Pascal Fradet and Daniel Le M tayer
- AOP: towards a generic framework using program transformation and analysis
- Shape Types Pascal Fradet and Daniel Le Metayer
- Static Detection of Pointer Errors: an Axiomatisation and a Checking Algorithm
- P U B L I C A T I O N I N T E R N E
- Collecting More Garbage Pascal Fradet
- QoS and Energy Management Coordination using Discrete Controller Synthesis
- A Programming Language for Adaptation Control: Soufyane Aboubekr, Gwenal Delaval, ric Rutten
- Trace-based Aspects Remi Douence1,
- Classical Coordination Mechanisms in the Chemical Model
- RULE 2004 Preliminary Version Principles of Chemical Programming
- A Systematic Study of Functional Language Implementations
- INSTITUT POLYTECHNIQUE DE GRENOBLE attribu par la bibliothque
- Enforcing Trace Properties by Program Transformation Thomas Colcombet Pascal Fradet
- ISSN0249-6399 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- Reactive model-based control of reconfiguration in the Fractal component-based model
- Structured Gamma Pascal Fradet and Daniel Le Metayer
- A domainspecific language for task handlers generation, applying discrete controller synthesis
- Hindawi Publishing Corporation EURASIP Journal on Embedded Systems
- de recherche ISSN0249-6399ISRNINRIA/RR--7155--FR+ENG
- P U B L I C A T I O N I N T E R N E
- ISSN0249-6399ISRNINRIA/RR--3894--FR+ENG de recherche
- de r eche r che INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- Appeared in Proc.of FPCA'91, LNCS Vol.523, pp.241-258. Syntactic Detection of Single-Threading using Continuations*
- Towards a Taxonomy of Functional Language Implementations Rmi Douence Pascal Fradet
- Analyzing non-functional properties of mobile Pascal Fradet, Valerie Issarny, and Siegfried Rouvrais
- ISSN0249-6399ISRNINRIA/RR--4435--FR+ENG de recherche
- Modular Distribution and Application to Discrete Controller Synthesis
- Specialized Aspect Languages Preserving Classes of Properties Simplice Djoko Djoko
- Network Fusion Pascal Fradet1
- The Next 700 Krivine Machines Rmi Douence*
- ISSN0249-6399 de recherche
- Dcrire et comparer les implantations de langages fonctionnels
- @inria.fr http://fractal.ow2.org/tutorial/
- Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations
- Towards a Generic Framework for AOP Pascal Fradet1
- Higher-Order Chemistry Jean-Pierre Ban^atre, Pascal Fradet and Yann Radenac
- Contracts for Modular Discrete Controller Synthesis Gwenal Delaval
- Challenging Questions for the Rationale of Non-Classical Programming Languages
- Gamma and the chemical reaction model: fteen years after?
- Aspects of Availability Enforcing timed properties to prevent denial of service
- Appeared in Proc.of 5th ESOP, LNCS Vol. 788, pp. 211-224, 1994. Compilation of Head and Strong Reduction
