|
7
|
Implementation of an Interpreter for a Parallel Language in Centaur
– Yves Bertot, Inria Sophia Antipolis
- 1990
|
|
|
Programming Languages: Specification
– Basant Rajan
- 1998
|
|
10
|
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
|
|
3
|
Loops in Esterel
– Olivier Tardieu, Robert De Simone, Inria Sophia Antipolis
- 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
|
|
1
|
Adapting Functional Programs to Higher-Order Logic
– Scott Owens, Konrad Slind
|
|
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
|
|
10
|
Deterministic Regular Languages
– Anne Brüggemann-Klein, Derick Wood
- 1991
|
|
|
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
|
