The Esterel Synchronous Programming Language: Design, Semantics, Implementation (1992)

Cached

Download Links

by Gerard Berry , Georges Gonthier , Ard Berry Georges Gonthier , Place Sophie Laltte
Citations:670 - 10 self

Active Bibliography

7 Implementation of an Interpreter for a Parallel Language in Centaur – Yves Bertot, Inria Sophia Antipolis - 1990
Programming Languages: Specification – Basant Rajan - 1998
11 Propositional Temporal Logics and Equivalences – Ursula Goltz, Ruurd Kuiper, Wojciech Penczek - 1992
7 Formal Verification in Robotics: Why and How? – Espiau Kapellos, B. Espiau, K. Kapellos, M. Jourdan - 1995
4 Loops in Esterel – Olivier Tardieu, Robert De Simone - 2005
Validation and Boolean operations for Attribute-Element Constraints – unknown authors
5 Extending Regular Expressions with Context Operators and Parse Extraction – Steven M. Kearns - 1991
1 New Theoretical and Computational Results For Regular Languages – Chia-hsiang Chang, Robert Paige - 1991
6 Efficient Submatch Addressing for Regular Expressions – Ville Laurikari - 2001
14 The Validation of SGML Content Models – Anne Brüggemann-Klein , Derick Wood - 1997
Computing with Relational Machines – Gérard Huet, Benoît Razet - 2008
10 An executable temporal logic to express safety properties and its connection with the language Lustre – Nicolas Halbwachs, Jean-Claude Fernandez, Ahmed Bouajjani - 1993
1 Proof-directed debugging” revisited for a first-order version – Kwangkeun Yi - 2006
1 Discrete Pattern Matching Over Sequences And Interval Sets – James Robert Knight - 1993
15 A Taxonomy of Finite Automata Construction Algorithms – Bruce Watson - 1993
The Differential Calculus of Bitstreams (Extended Abstract) – J. J. M. M. Rutten - 2004
1 Validation algorithm for attribute-element constraints of RELAX NG – Montréal Québec, Makoto Murata, Haruo Hosoya - 2003
EDUCATIONAL PEARL – Kwangkeun Yi
The Average Transition Complexity of Glushkov and Partial Derivative Automata ⋆ – Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis