scientific article; zbMATH DE number 140007

zbMATH Open0766.68094MaRDI QIDQ4028372FDOQ4028372

Authors:

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4113956
• Publication:2729071
• 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

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)

Cited In (3)

• Automated synthesis of functional programs with auxiliary functions
• Automatic Termination Verification for Higher-Order Functional Programs
• Title not available (Why is that?)

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)