Programming Without Refining (original) (raw)
Related papers
Program Derivation by Correctness Enhacements
Electronic Proceedings in Theoretical Computer Science, 2016
Programming Without Refinement
2018
Proving program refinements and transformations
1986
Unifying program construction and modification
Logic Journal of IGPL, 1998
Transformational Derivation of Programs Using the Focus System
ACM Sigsoft Software Engineering Notes, 1988
Software Evolution by Correctness Enhancement
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering, 2000
An elementary and unified approach to program correctness
Formal Aspects of Computing, 2010
Program Synthesis from Axiomatic Proof of Correctness
2015
A DEDUCTLVE APPROACH T O PROGRAM SYNTHESIS bY
1998
Interactive program derivation
1992
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development -, 1990
A constructive approach to compiler correctness
Automata, Languages and Programming, 1980
A brief introduction to the derivation of programs
1986
Extraction of Structured Programs from Specification Proofs
Lecture Notes in Computer Science, 2000
Refinement calculus: A basis for translation validation, debugging and certification
Theoretical Computer Science, 2006
Towards a transformational approach to program verification
Software Testing, Verification and Reliability, 1999
A Mechanized Theory of Program Refinement
Formal Methods and Software Engineering, 2019
On the degeneration of program generators by program composition
New Generation Computing, 1998
Program Repair by Stepwise Correctness Enhancement
Electronic Proceedings in Theoretical Computer Science, 2016
An extension of the program derivation format
Programming Concepts and Methods PROCOMET ’98, 1998
Topics in Semantics-based Program Manipulation
2001
Provably Correct Code Generation: A Case Study
Electronic Notes in Theoretical Computer Science, 2005
Program Derivation Using Data Types: A Case Study
IEEE Transactions on Software Engineering, 1979
A proof system for correct program development
2000
An intensional semantics for elementary program transformations
Journal of Logic and Computation, 1995
Application of verification method and a decomposition method to program modification
Systems and Computers in Japan, 1996
The Computer Journal, 1992
An approach to program verification
The proceedings of the thirteenth design automation conference on Design automation - DAC '76, NO. 13, 1976
On a New Notion of Partial Refinement
Proceedings of the 16th International Refinement Workshop, 2013
CIS 301: Lecture Notes on Program Verification
Foundations of Program Refinement by Calculation
Program Debugging and Validation Using Semantic Approximations and Partial Specifications
Lecture Notes in Computer Science, 2002
A functional correctness model of program verification
Computer, 2000
Combining Top-Down and Bottom-Up Techniques in Program Derivation
Lecture Notes in Computer Science, 2015