Logic and functional programming by retractions : operational semantics
M. Bellia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “An imperative language based on distributive categories II”
Logic and functional programming by retractions : operational semantics
Post grammars as a programming language description tool
Paul Feautrier (1975)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Nondeterminism and fully abstract models
Egidio Astesiano, Gerardo Costa (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Coordinated pair systems ; part I : Dyck works and classical pumping
A. Ehrenfeucht, H. J. Hoogeboom, G. Rozenberg (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The relation of two patterns with comparable languages patterns
Gilberto Filé (1989)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The behaviour of parsing time under grammar morphisms
Hermann K.-G. Walter, Joannis Keklikoglou, Werner Kern (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Coordinated pair systems ; part II : sparse structure of Dyck words and Ogden's lemma
A. Ehrenfeucht, H. J. Hoogeboom, G. Rozenberg (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: