Conditional lambda-theories and the verification of static properties of programs

DOI10.1006/inco.1994.1072zbMath0821.68032MaRDI QIDQ1333262

Mitchell Wand, Zheng Yu Wang

Publication date: 13 September 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1994.1072

zbMATH Keywords

compiler; conditional \(\lambda\)-judgement

Mathematics Subject Classification ID

68N20: Theory of compilers and interpreters

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

03B40: Combinatory logic and lambda calculus

Related Items

Higher-order substitutions