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

DOI10.1006/inco.1994.1072zbMath0821.68032OpenAlexW2098533610MaRDI 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

compilerconditional \(\lambda\)-judgement

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Higher-order substitutions

This page was built for publication: Conditional lambda-theories and the verification of static properties of programs