Mark Saaltink  Home/Search
Context
Related
| ora.on.ca/pub/doc/91544902.ps.Z 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: ora.on.ca/biblio/biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion in conventional mathematics : : : : : : : : : : : : : : : : : : : : 23 5.3.4 Translating typed theories : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 24 5.3.5 Choosing normal forms : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25 ii EVES Project Technical Report TR-91-5449-02 5.3.6 Calculating with EVES : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25 5.3.7 Rule sets as programs : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 27 5.3.8... (Update)
Active bibliography (related documents): More All
1.5: Select Z Bibliography - Bowen (1993) (Correct)
0.9: Comparing Gypsy and the Boyer-Moore Logic for Specifying.. - Kaufmann, Young (1987) (Correct)
0.6: Formal Methods Adoption: What's working, What's not! - Craigen (1999) (Correct)
Similar documents based on text: More All
0.4: The Z/EVES 2.0 Mathematical Toolkit - Saaltink (1999) (Correct)
0.3: Final Report: Development of a Practical Computer Software.. - Craigen (1990) (Correct)
0.3: The Z/EVES User's Guide - Saaltink (1997) (Correct)
BibTeX entry: (Update)
@inproceedings{ saaltinksaaltinkeves,
author = "M. Saaltink",
title = "{Z} and {Eves}",
pages = "223--242",
url = "citeseer.ist.psu.edu/saaltink91eves.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey - 1989
334 A Computational Logic Handbook (context) - Boyer, Moore - 1988
259 Combinatory Logic (context) - Curry, Feys - 1958
197 Literate programming (context) - Knuth - 1984
187 HOL: A proof generating system for higher order logic (context) - Gordon - 1987
123 An Introduction to Formal Methods (context) - Diller - 1990
78 Programming pearls (context) - Bentley, Knuth - 1986
76 Specification Case Studies (context) - Hayes - 1987
53 An object-oriented extension to Z (context) - Carrington, Duke et al. - 1990
46 OOZE: An object oriented Z environment (context) - Alencar, Goguen - 1990
42 A logic covering undefinedness in program proofs (context) - Barringer, Cheng et al. - 1984
36 Prespecification in data refinement (context) - Hoare, Jifeng et al. - 1987
32 Formal methods applied to a floating-point number system - Barrett - 1989
28 Cambridge University Press (context) - Spivey - 1988
21 Imperial Software Technology (context) - Harwood, for et al. - 1991
19 Reference manual for the language Verdi - Craigen - 1991
14 Specification language (context) - Abrial, Schuman et al. - 1979
13 Verifying security (context) - Cheheyl - 1981
11 Springer-Verlag (context) - Nicholls, Workshop - 1990
11 Type inference in Z (context) - Spivey, Sufrin - 1990
10 Another algorithm for bracket abstraction (context) - Turner - 1979
9 Grammar and concrete and abstract syntaxes (context) - King, Srensen et al. - 1988
8 ACM SIGSOFT Software Engineering Notes (context) - Woodcock, of et al. - 1989
8 syntax supported by Balzac-II (context) - Jordan, Paine - 1990
7 Odyssey Research Associates (context) - Saaltink, library et al. - 1991
7 Odyssey Research Associates (context) - Saaltink, description et al. - 1990
7 specification of part of the CICS file control API (context) - Houston, Wordsworth - 1990
7 Odyssey Research Associates (context) - Saaltink, in et al. - 1990
7 Simple type theory in EVES (context) - Saaltink, Craigen - 1991
7 VDM 90: VDM and Z --- Formal Methods in Software Development (context) - Bjrner, Hoare et al. - 1990
7 Odyssey Research Associates (context) - Saaltink, library et al. - 1991
6 Imperial Software Technology (context) - Jordan, checking et al. - 1991
5 Assertional data reification proofs: Survey and perspective (context) - Coenen, de Roever et al. - 1991
5 A generalisation of bags in Z (context) - Hayes - 1990
5 Programming Research Group (context) - Abrial, manual et al. - 1988
5 Modular extensions to Z (context) - Sampaio, Meira - 1990
4 Technical Report DS/FMU/IED/WRK (context) - Arthan, type - 1991
4 Technical Report DS/FMU/IED/SPC (context) - Arthan, Language - 1991
4 Technical Report DS/FMU/IED/SPC (context) - Arthan, Semantics - 1991
3 Formaliser --- an interactive support tool for Z (context) - Flynn, Hoverd et al. - 1990
3 Mathematical foundations of the MLS tool for Revised Special (context) - Rushby - 1984
3 Using the EVES library facility: A PICO interpreter (context) - Kromodimoeljo, Pase - 1990
2 and their impact on the proof rules for Z (context) - Jones, the et al. - 1990
2 Odyssey Research Associates (context) - Craigen, Kromodimoeljo et al. - 1991
2 The low-water-mark problem using non-interference (context) - Young - 1986
2 Minimisation in formal specification and design (context) - Gravell - 1990
2 EVES verification system (context) - Craigen, of - 1988
1 Review of type checking and scope rules of the specification.. (context) - Sennet, Macdonald - 1987
1 HOL formalised: Deductive system (context) - Arthan - 1991
1 Using make to maintain EVES libraries (context) - Saaltink - 1991
1 Unpublished draft (context) - Gardiner, Lupton et al. - 1990
1 Zork: a type-checker for Z from York (context) - Toyn, McDermid - 1991
1 A formal specification of an oscilliscope (context) - Delisle, Garlan - 1990
1 HOL formalised: Proof development system (context) - Arthan - 1991
1 Technical Report DS/FMU/IED/SML (context) - Arthan, for - 1991
Documents on the same site (http://www.ora.on.ca/biblio/biblio.html): More
SPARC Verdi Compiler User's Manual - Meisels (1994) (Correct)
A User's Guide to a Skeletal CSP Theory in EVES - Tr- Bill (Correct)
Verdi Compiler: Final Report - Saaltink, Meisels (1994) (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