Program derivation using the refinement calculator-Reference-Cited by-同舟云学术

Program derivation using the refinement calculator

Published:1996 Issue: Volume: Page:93-108
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Butler Michael,Långbacka Thomas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0105399

Reference22 articles.

1. F. Andersen. A Theorem Prover for UNITY in Higher Order Logic. PhD thesis, Technical University of Denmark, Lyngby, 1992.

2. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.

3. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593–624, 1988.

4. R. Back and J. von Wright. Refinement concepts formalized in higher order logic. Formal Aspects of Computing, 2:247–272, 1990.

5. M. Butler, T. Långbacka, R. Rukšėnas, and J. von Wright. Refinement Calculator tutorial and manual. Draft — available upon request.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Mechanized Theory of Program Refinement;Formal Methods and Software Engineering;2019

2. Assumption propagation through annotated programs;Formal Aspects of Computing;2017-05

3. Building an IDE for the Calculational Derivation of Imperative Programs;Electronic Proceedings in Theoretical Computer Science;2015-08-14

4. Combining Top-Down and Bottom-Up Techniques in Program Derivation;Logic-Based Program Synthesis and Transformation;2015

5. Automated Theorem Prover Assisted Program Calculations;Lecture Notes in Computer Science;2014