|
620
|
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
– Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte
- 1992
|
|
|
Delphine Terrasse Memoire du DEA IARFA
– Septemb Re, Delphine Terrasse
- 1992
|
|
1
|
From a Formal Dynamic Semantics of Sisal to a Sisal Environment
– Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
- 1995
|
|
3
|
A Formal Semantics and an Interactive Environment for Sisal
– Isabelle Attali, Denis Caromel, Andrew Wendelborn
- 1995
|
|
17
|
A Natural Semantics for Eiffel Dynamic Binding
– Isabelle Attali, Denis Caromel, Sidi Ould Ehmety
- 1996
|
|
1
|
A Formal Semantics for Sisal Arrays
– Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn
|
|
7
|
Incremental Evaluation of Natural Semantics Specifications
– Isabelle Attali, Jacques Chazarain, Serge Gilette
- 1992
|
|
|
Programming Languages: Specification
– Basant Rajan
- 1998
|
|
3
|
Loops in Esterel
– Olivier Tardieu, Robert De Simone, Inria Sophia Antipolis
- 2005
|
|
1
|
An ALF Communication Architecture: Design and Automated Implementation
– Isabelle Chrisment, Delphine Kaplan, Christophe Diot, Inria Sophia, Antipolis France
- 1997
|
|
60
|
Preemption in Concurrent Systems
– Gérard Berry
- 1993
|
|
54
|
A Hardware Implementation of Pure Esterel
– Gérard Berry
- 1991
|
|
77
|
The Constructive Semantics of Pure Esterel
– G. Berry
- 1996
|
|
|
On Behavioral Model Quality and Transformation
– Martin Gogolla
- 1997
|
|
|
An Evaluation of Object-Oriented DBMS Developments (part 2)
– F. Manola
- 1994
|
|
1
|
Identifying Objects by Declarative Queries
– Martin Gogolla
- 1999
|
|
6
|
The Design and Implementation of TIGUKAT User Languages
– Anna Lipka, Anna Lipka
- 1993
|
|
13
|
TIGUKAT: An Object Model for Query and View Support in Object Database Systems
– Randal J. Peters, M. Tamer Özsu, Duane Szafron
- 1992
|
|
3
|
Temperature-Based Concurrency Control
– Robert E. Gruber
- 1993
|
