Operational and semantic equivalence between recursive programs.

DOI10.1145/800133.804334zbMath1282.68165OpenAlexW1972439331MaRDI QIDQ5402543

Jean Claude Raoult, Jean E. Vuillemin

Publication date: 14 March 2014

Published in: Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/800133.804334

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Infinite trees in normal form and recursive equations having a unique solution

This page was built for publication: Operational and semantic equivalence between recursive programs.