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

DOI10.1006/INCO.1994.1072zbMATH Open0821.68032OpenAlexW2098533610MaRDI QIDQ1333262FDOQ1333262

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

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

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)

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)