scientific article; zbMATH DE number 2185686

MaRDI QIDQ3024867zbMATH OpenFDO

Authors Graham P. Collins, Donald Syme

Publication date 4 July 2005

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Efficient implementation of linearly used finite maps
• Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
• scientific article; zbMATH DE number 4043224
• Map theory
• Programming Languages and Systems

Cited in

(13)

• Map theory: from well-foundation to antifoundation
• Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
• Formal Reasoning About Causality Analysis
• Efficient implementation of linearly used finite maps
• scientific article; zbMATH DE number 4043224 (Why is no real title available?)
• scientific article; zbMATH DE number 1090046 (Why is no real title available?)
• Finite-to-one maps
• FUNCTIONAL PEARL Concurrent distinct choices
• Almost Total Elementary Maps
• Theorem Proving in Higher Order Logics
• Translating specifications in VDM-SL to PVS
• A proof tool for reasoning about functional programs
• Map theory and antifoundation

Describes a project that uses

Uses Software

• HOL

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 Q3024867)