Formal foundations of operational semantics

DOI10.1023/A:1025689206562zbMath1074.68033OpenAlexW110471181MaRDI QIDQ1426872

Ian A. Mason, Jonathan Ford

Publication date: 15 March 2004

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025689206562

zbMATH Keywords

operational semanticstheorem proving\(\lambda\)-calculuscontextsPVS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax, On generic context lemmas for higher-order calculi with sharing, A case study in programming coinductive proofs: Howe’s method, Observational program calculi and the correctness of translations

Uses Software

• PVS