scientific article; zbMATH DE number 140007

MaRDI QIDQ4028372zbMATHFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

transformationsfunctional programming language MLinteractive automated verification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4113956
• scientific article; zbMATH DE number 1629956
• Integration of a Software Model Checker into Isabelle
• A language-based approach to functionally correct imperative programming
• Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L

Cited in

(4)

• A language-based approach to functionally correct imperative programming
• Automated synthesis of functional programs with auxiliary functions
• Automatic Termination Verification for Higher-Order Functional Programs
• scientific article; zbMATH DE number 4113956 (Why is no real title available?)

Describes a project that uses

Uses Software

• ML

This page was built for publication:

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