A parenthesis machine for string manipulation
Mariangiola Dezani-Ciancaglini (1974)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Post grammars as a programming language description tool”
A parenthesis machine for string manipulation
Retrieving library functions by unifying types modulo linear isomorphism
M. Rittri (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Logic and functional programming by retractions : operational semantics
M. Bellia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
An imperative language based on distributive categories II
Wafaa Khalil, R. F. C. Walters (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On temporal program verification rules
F. Kröger (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Top-down mathematical semantics and symbolic execution
G. Lévi, A. M. Pegna (1983)
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: