Program Development in Computational Logic

DOI10.1007/B98187MaRDI QIDQ5712536zbMATH OpenOpenAlexFDO

Authors Kung-Kiu Lau, Mario Ornaghi

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98187

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Constructive Specifications for Compositional Units
• scientific article; zbMATH DE number 2090122
• Logical foundations for compositional verification and development of concurrent programs in UNITY
• An experiment in program composition and proof
• scientific article; zbMATH DE number 732050

Cited in

(4)

• On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations
• Analyzing fractional Horn constraint systems
• scientific article; zbMATH DE number 2090122 (Why is no real title available?)
• Constructive Specifications for Compositional Units

Describes a project that uses

Uses Software

• LARCH

This page was built for publication: Program Development in Computational Logic

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