On using conditional definitions in formal theories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2272, Issue , 2002, Pages 242-269

  Abrial, Jean Raymond ^a   Mussat, Louis ^b  

^a DCSSI ^*  (France)

^b DCSSI   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FORMAL THEORY; PROOF SYSTEM;

ARTIFICIAL INTELLIGENCE;

EID: 35248837162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45648-1_13     Document Type: Conference Paper

References (10)

1. J.R. Abrial. The B-Book:Assigning Programs to Meanings. Cambridge University Press (1996).
2. H. Barringer, J.H. Cheng, C.B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251-269 (1984).
3. P. Behm, L. Burdy, J.M. Meynadier. Well defined B. Second B International Conference. (Bert editor) LNCS 1393 Springer (1998).
4. L. Burdy Traitement des expressions dépourvues de sens de la théorie des ensembles. Thèse de Doctorat (2000).
5. J.H. Cheng, C.B. Jones, On the Usability of Logics which Handle Partial Functions. Proceedings of Third Refinement Workshop. (1990).
6. D. Gries. Foundations for Calculational Logic in Mathematical Methods in Program Development (M. Broy and B. Schieder Editors). Springer (1996).
7. C.B. Jones Partial Functions and Logics: a warning. Information Processing Letter 54 (1995).
8. B. Stoddart, S. Dunne, A. Galloway. Undefined Expressions and Logic in Z and B. Formal Methods in System Design, 15 (1999).
9. P. Suppes. Introduction to Logic. Wadsworth International Group (1957).
10. W.M. Farmer and J.D. Guttman. A Set Theory with Support for Partial Functions in Partiality and Modality. (E. Thijsse, F. Lepage, and H.Wansing Editors). Special issue of Logica Studia (2000).