A logic for schema-based program development

DOI10.1007/S00165-003-0004-7MaRDI QIDQ706506zbMATH OpenOpenAlexWikidataFDO

Authors Martin C. Henson, Steve Reeves

Publication date 8 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/10289/65

zbMATH Keywords

ZRefinementProgram development

Mathematics Subject Classification ID

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

Recommendations

• Revising \(Z\). II: Logical development
• The specification logic \(\nu \)Z
• The specification logic \(\nu\mathsf{Z}\)
• A refinement calculus for logic programs
• Program development schemata as derived rules

Cited in

(15)

• Partially interpreted schemas for CSP programming
• Refinement and the Z schema calculus
• scientific article; zbMATH DE number 2013579 (Why is no real title available?)
• On methods for safe introduction of operations
• A development calculus for specifications
• ZB 2005: Formal Specification and Development in Z and B
• scientific article; zbMATH DE number 4033055 (Why is no real title available?)
• An analysis of refinement in an abortive paradigm
• scientific article; zbMATH DE number 3476556 (Why is no real title available?)
• scientific article; zbMATH DE number 3225736 (Why is no real title available?)
• A logical framework to model software development by multiple agents following a common specification
• A calculus for schemas in Z
• The role of logical interpretations in program development
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving
• Program development schemata as derived rules

This page was built for publication: A logic for schema-based program development

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