Deriving proof rules from continuation semantics

Formal Aspects of Computing

Volumn 11, Issue 4, 1999, Pages 426-447

  Audebaud, Philippe ^b   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

^b NONE

Author keywords

Continuations; Exceptions; Hoare semantics; Labels

Indexed keywords

EID: 0042785328     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050041     Document Type: Article

References (12)

1. C. L. Talcott, editor. Special issue on continuations. LISP and Symbolic Computation, 6 and 7(3/4 and 1), Kluwer Academic Publishers, 1993-1994.
2. Abadi, M. and Leino, K. R. M.: A logic of object-oriented programs. In TAPSOFT '97: Theory and Practice of Software Development, number 1214 in Lecture Notes in Computer Science, pages 682-696. Springer Verlag, April 1997.
3. Arbib, M. A. and Alagić, S.: Proof rules for gotos. Acta Informatica, 11:139-148, 1979.
4. Cristian, F.: Correct and robust programs. IEEE Transactions on Software Engineering, SE-10(2):163-174, 1984.
5. Dijkstra, E. W.: A Discipline of Programming. Prentice Hall, Englewood Cilffs, N.J., 1976.
6. Gordon, M. J. C.: Programming Language Theory and its Implementation. Prentice Hall, Englewood Cliffs, N.J., 1988.
7. Jensen, K.: Connection between Dijkstra's predicate transformers and denotational continuation semantics. Technical Report DAIMI PB-86, Computer Science Dept., Aarhus Univ., 1978.
8. Leino, K. R. M.: Ecstatic: An object-oriented programming language with an axiomatic semantics. In 4th Intl. Workshop on Foundations of Object Oriented Languages 1997, 1997.
9. Lodaya, K. and Shyamasundar R. K.: Proof theory for exception handling in a tasking environment. Acta Informatica, 28:7-41, 1990.
10. Nielson, H. R. and Nielson, F.: Semantics with Applications: A Formal Introduction. John Wiley & Sons, 1992.
11. Schmidt, D. A.: Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, Inc.. 1986.
12. Winskel, G.: The Formal Semantics of Programming Languages - An Introduction. Foundations of Computing Series. The MIT Press, Cambridge, Massachussets, 1993.