Generic exception handling and the java monad

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

Volumn 3116, Issue , 2004, Pages 443-459

  Schröder, Lutz ^a   Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

ABNORMAL TERMINATIONS; AXIOMATIZATION; COMPUTATIONAL FEATURES; COMPUTATIONAL LOGIC; EXCEPTION HANDLING; HOARE CALCULI; MONAD TRANSFORMERS; NON-DETERMINISM;

COMPUTATION THEORY;

EID: 26944459397     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27815-3_34     Document Type: Article

References (27)

1. M. Barr and C. Wells, Topases, triples and theories, Springer, 1984.
2. M. Bidoit and P. D. Mosses, CASL user manual, LNCS, IFIP Series, vol. 2900, Springer, 2003.
3. K. Claessen, A poor man's concurrency monad, J. Funct. Programming 9 (1999), 313-323.
4. C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM 12 (1969), no. 10, 576-580.
5. M. Huisman, Java program verification in higher order logic with PVS and Isabelle, Ph.D. thesis, University of Nijmegen, 2001.
6. M. Huisman and B. Jacobs, Inheritance in higher order logic: Modeling and reasoning, Theorem Proving in Higher Order Logics, LNCS, vol. 1869, Springer, 2000, pp. 301-319.
7. _, Java program verification via a Hoare logic with abrupt termination, Fundamental Approaches to Software Engineering, LNCS, vol. 1783, Springer, 2000, pp. 284-303.
8. B. Jacobs and E. Poll, A logic for the Java Modeling Language JML, Fundamental Approaches to Software Engineering, LNCS, vol. 2029, Springer, 2001, pp. 284-299.
9. _, Coalgebras and Monads in the Semantics of Java, Theoret. Comput. Sci. 291 (2003), 329-349.
10. p-calculus, Category Theory and Computer Programming, LNCS, vol. 240, Springer, 1986, pp. 242-251.
11. _, An abstract view of programming languages, Tech. Report ECS-LFCS-90-113, Univ. of Edinburgh, 1990.
12. _, Notions of computation and monads, Inform, and Comput. 93 (1991), 55-92.
13. T. Nipkow, Jinja: Towards a comprehensive formal semantics for a Java-like language, Proc. Marktobderdorf Summer School 2003, IOS Press, to appear.
14. _, Hoare logics in Isabelle/HOL, Proof and System-Reliability, Kluwer, 2002, pp. 341-367.
15. S. Peyton-Jones (ed.), Haskell 98 language and libraries - the revised report, Cambridge, 2003,
16. also: J. Funct. Programming 13 (2003).
17. S Peyton Jones, A. Gordon, and S. Finne, Concurrent Haskell, Principles of Programming Languages, ACM Press, 1996, pp. 295-308.
18. S. Peyton Jones and P. Wadler, Imperative functional programming, Principles of Programming Languages, ACM Press, 1993, pp. 71-84.
19. G. Plotkin and J. Power, Notions of computation determine monads, Foundations of Software Science and Computation Structures, LNCS, vol. 2303, Springer, 2002, pp. 342-356.
20. L. Schröder, Classifying categories for partial equational logic, Category Theory and Computer Science, ENTCS, vol. 69, 2002.
21. _, Henkin models of the partial X-calculus, Computer Science Logic, LNCS, vol. 2803, Springer, 2003, pp. 498-512.
22. L. Schröder and T. Mossakowski, Monad-independent dynamic logic in HASCASL, J. Logic Comput., to appear. Preliminary version in Recent Developments in Algebraic Development Techniques, LNCS 2755 (2003), Springer, pp. 425-441.
23. L. Schröder and T. Mossakowski, HASCASL: Towards integrated specification and development of functional programs, Algebraic Methodology and Software Technology, LNCS, vol. 2422, Springer, 2002, pp. 99-116.
24. _, Monad-independent Hoare logic in HASCASL, Fundamental Aspects of Software Engineering, LNCS, vol. 2621, 2003, pp. 261-277.
25. L. Schröder, T. Mossakowski, and C. Maeder, HASCASL - Integrated functional specification and programming. Language summary, Available at http://www. informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/HasCASL
26. H. Thielecke, Categorical structure of continuation passing style, Ph.D. thesis, University of Edinburgh, 1997.
27. D. von Oheimb, Hoare logic for Java in Isabelle/HOL, Concurrency and Computation: Practice and Experience 13 (2001), 1173-1214.