Operational and semantic equivalence between recursive programs.
From MaRDI portal
Publication:5402543
DOI10.1145/800133.804334zbMath1282.68165MaRDI 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
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items