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

DOI10.1006/INCO.1994.1072MaRDI QIDQ1333262zbMATH OpenOpenAlexFDO

Authors 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) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2079040
• Application of conditional term substitution systems in program verification
• Functional runtime systems within the lambda-sigma calculus
• Functional back-ends within the lambda-sigma calculus
• scientific article; zbMATH DE number 3874584

Cited in

(1)

• Higher-order substitutions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333262)