C. E. Martin, S. A. Curtis, I. Rewitzky  @ NUS Home/Search
Context Related
| wwwcms.brookes.ac....ncurtisrewitzky.ps Cached: PS.gz PS PDF Image Update Help From: web.comlab.ox.ac.uk/oucl/...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper consists of some preliminary steps towards the construction of a new calculus for modelling nondeterministic speci cations as multirelations. The model is appealing because it combines some of the merits of the existing models of relations and predicate transformers. Like relations, multirelations model speci cations from initial to nal state, and like predicate transformers, they can model two kinds of nondeterminism within a single framework. This is achieved by mapping input... (Update)
Cited by: More
whh318 -- 1 Multirelations are predicate transformers - Wim Hesselink February (Correct)
Active bibliography (related documents): More All
0.5: Pointwise Relational Programming - de Moor, Gibbons (2000) (Correct)
0.2: A Calculational Approach to Program Inversion - Linacre (2003) (Correct)
0.2: Theory and Applications of Inverting Functions as Folds - Mu, Bird (2003) (Correct)
Similar documents based on text: More All
0.4: Functional Quantum Programming - Mu, Bird (Correct)
0.3: Towards Automated Testing - Towards Automated Testing (2001) (Correct)
0.2: The Transport Footprint of Oxford Brookes University - Paulson (Correct)
BibTeX entry: (Update)
C.E. Martin, S.A. Curtis, and I. Rewitzky. Modelling nondeterminism. 2004. http://citeseer.comp.nus.edu.sg/662381.html More
@misc{ martin04modelling,
author = "C. Martin and S. Curtis and I. Rewitzky",
title = "Modelling nondeterminism",
text = "C.E. Martin, S.A. Curtis, and I. Rewitzky. Modelling nondeterminism. 2004.",
year = "2004",
url = "citeseer.comp.nus.edu.sg/662381.html" }
Citations (may not include all citations):509 Introduction to Lattices and Order (context) - Davey, Priestley - 2002
141 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
104 Algebra of Programming (context) - Bird, de Moor - 1997
52 Programming from Speci cations (context) - Morgan - 1998
29 A calculus of functions for program derivation (context) - Bird - 1990
24 Re nement Calculus: A Systematic Introduction (context) - Back, von Wright - 1998
5 Binary Multirelations (context) - Rewitzky - 2003
2 A Re nement Calculus for Nondeterministic Expressions (context) - Ward - 1994
1 A better draft: Fair division of the talent pool (context) - Dawson - 1997
1 Programming and verifying Subgame Perfect Mechanisms - Pauly - 2002
1 Inductive Data Types for Predicate Transformers (context) - de Moor - 1992
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.