M.M. Fokkinga, J.C.S.P. van der Woude, J. Zwiers  Home/Search
Context
Related
| wwwhome.cs.utwente.nl/~fokk...mmf95a.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwhome.cs.utwente.nl/~fokking... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper the relational composition is meant to model sequential program composition --- although it may be so, of course.) Finally, p # q is a Hoare-style specification of a (yet to be developed) program R satisfying p (Update)
Active bibliography (related documents): More All
0.1: A Calculational Approach to Mathematical Induction - Doornbos, Backhouse, van der .. (1996) (Correct)
0.1: Kleene under a Modal Demonic Star - Desharnais, Möller, Tchier (2004) (Correct)
0.1: Mathematics of Recursive Program Construction - Doornbos, Backhouse (2001) (Correct)
Similar documents based on text: More All
0.2: Program Transformation in Calculational Form - Takano, Hu, Takeichi (1998) (Correct)
0.2: Structured Calculational Proof - Back, Grundy, von Wright (1996) (Correct)
0.2: Calculate Categorically! - Fokkinga (1992) (Correct)
BibTeX entry: (Update)
@misc{ fokkinga-program,
author = "M.M. Fokkinga and J.C.S.P. van der Woude and J. Zwiers",
title = "Program Specifications for Program Simulations",
url = "citeseer.ist.psu.edu/fokkinga95program.html" }
Citations (may not include all citations):295 PVS: A Prototype Verification System (context) - Owre, Rushby et al. - 1992
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
106 An algebraic definition of simulation between programs (context) - Milner - 1971
87 The PVS Proof Checker: A reference manual (context) - Shankar, Owre et al. - 1993
36 Prespecification in data refinement (context) - Hoare, He et al. - 1987
9 Formal Aspects of Computing (context) - Fokkinga - 1992
7 Mathematical Structures in Computer Science (context) - Backhouse, van der Woude et al. - 1993
1 Special Issue of Information Processing Letters (context) - Backhouse, Calculational - 1995
1 Presented at the STOP 1992 Summerschool on Constructive Algo.. (context) - Backhouse, theory et al. - 1992
1 A summary of refinement theory - Fokkinga - 1994
1 Predicates are predicate transformers (context) - Zwiers, de Roever - 1989
Documents on the same site (http://wwwhome.cs.utwente.nl/~fokkinga/): More
Machine Assisted Constraint Maintenance - Fokkinga (1996) (Correct)
Subtyping can have a Simple Semantics - Balsters, Fokkinga (1991) (Correct)
Functional Programming with Bananas, Lenses, Envelopes.. - Meijer, Fokkinga.. (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC