A logic for schema-based program development

DOI10.1007/S00165-003-0004-7zbMATH Open1093.68604OpenAlexW2008639791WikidataQ59651715 ScholiaQ59651715MaRDI QIDQ706506FDOQ706506

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

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

zbMATH Keywords

ZRefinementProgram development

Mathematics Subject Classification ID

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

Cited In (15)

• Partially interpreted schemas for CSP programming
• Refinement and the Z schema calculus
• Title not available (Why is that?)
• ZB 2005: Formal Specification and Development in Z and B
• On methods for safe introduction of operations
• A development calculus for specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of refinement in an abortive paradigm
• A logical framework to model software development by multiple agents following a common specification
• A calculus for schemas in Z
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving
• The role of logical interpretations in program development
• 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)