Unifying program construction and modification (original) (raw)
Related papers
A Mechanized Theory of Program Refinement
Formal Methods and Software Engineering, 2019
Proving program refinements and transformations
1986
An Object-Oriented Refinement Calculus
1999
Expressing program requirements using refinement lattices
Lecture Notes in Computer Science, 1993
Programming Without Refinement
2018
Generic Tools via General Refinement
Electronic Notes in Theoretical Computer Science, 2008
Algebraic Specification and Program Development by Stepwise Refinement
Lecture Notes in Computer Science, 2000
Refinement calculus: A basis for translation validation, debugging and certification
Theoretical Computer Science, 2006
Refinement and Development of Programs from Relational Specifications
Electronic Notes in Theoretical Computer Science, 2003
Specification refinements: Calculi, tools, and applications
Science of Computer Programming
On a New Notion of Partial Refinement
Proceedings of the 16th International Refinement Workshop, 2013
Electronic Proceedings in Theoretical Computer Science, 2018
A DEDUCTLVE APPROACH T O PROGRAM SYNTHESIS bY
1998
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development -, 1990
A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems (Extended Abstract)
2002
2008
Lecture Notes in Computer Science, 2016
Refactoring in Maintenance and Development of Z Specifications and Proofs Abstract
2008
A Refinement Algebra for Object-Oriented Programming
Lecture Notes in Computer Science, 2003
Extraction of Structured Programs from Specification Proofs
Lecture Notes in Computer Science, 2000
Ph. D. Proposal: Language Support for Layered Refinement
2000
On the Semantics of Refinement Calculi
2000
A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems
2002
Program synthesis using abstraction refinement
Proceedings of the ACM on Programming Languages, 2018
ERC ? An object-oriented refinement calculus for Eiffel
Formal Aspects of Computing, 2004
Foundations of Program Refinement by Calculation
A Logic for Schema-Based Program Development
Formal Aspects of Computing, 2003
1999
Refactoring in maintenance and development of Z specifications and proofs
2002
Towards a formal Theory of Program Construction
1999
Refinement Concepts Formalised in Higher Order Logic
Jockum von Wright, Ralph-Johan Back
Formal Aspects of Computing, 1990
An algebraic treatment of procedure refinement to support mechanical verification
Formal Aspects of Computing, 2005
Semantics, calculi, and analysis for object-oriented specifications
Acta Informatica, 2009
Towards a transformational approach to program verification
Software Testing, Verification and Reliability, 1999