Parametrized exceptions

Lecture Notes in Computer Science

Volumn 3629, Issue , 2005, Pages 424-438

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

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ENCAPSULATION; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

EXCEPTION NOMADS; HOARE CALCULI; JAVA CONTROL FLOW; JAVA EXECUTION MECHANISM;

ALGEBRA;

EID: 26944455524     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11548133_27     Document Type: Conference Paper

References (19)

1. K. Claessen, A poor man's concurrency monad, J. Funct. Programming 9 (1999), 313-323.
2. C. Führmann, Varieties of effects, Foundations of Software Science and Computation Structures, LNCS, vol. 2303, Springer, 2002, pp. 144-158.
3. The Haskell mailing list, http://www.haskell.org/mailinglist.html, 2002.
4. M. Huisman and B. Jacobs, Java program verification via a Hoare logic with abrupt termination, Fundamental Approaches to Software Engineering, LNCS, vol. 1783, Springer, 2000, pp. 284-303.
5. 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.
6. _, Coalgebras and Monads in the Semantics of Java, Theoret. Comput. Sci. 291 (2003), 329-349.
7. B. Joy, G. Steele, J. Gosling, and G. Bracha, The Java language specification, Addison-Wesley, 2000.
8. E. Moggi, An abstract view of programming languages, Tech. Report ECS-LFCS-90-113, Univ. of Edinburgh, 1990.
9. _, Notions of computation and monads, Inform. and Comput. 93 (1991), 55-92.
10. T. Mossakowski, Heterogeneous specification and the heterogeneous tool set, Habilitation thesis, University of Bremen, 2005.
11. S. Peyton-Jones (ed.), Haskell 98 language and libraries - the revised report, Cambridge, 2003,
12. also: J. Funct. Programming 13 (2003).
13. F. Regensburger, HOLCF: Higher order logic of computable functions, Theorem Proving in Higher Order Logics, LNCS, vol. 971, 1995, pp. 293-307.
14. 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.
15. _, Monad-independent Hoare logic in HASCASL, Fundamental Aspects of Software Engineering, LNCS, vol. 2621, 2003, pp. 261-277.
16. L. Schröder and T. Mossakowski, Generic exception handling and the Java monad, Algebraic Methodology and Software Technology, LNCS, vol. 3116, Springer, 2004, pp. 443-459.
17. _, Monad-independent dynamic logic in HASCASL, J. Logic Comput. 14 (2004), 571-619.
18. 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
19. Philip Wadler, How to declare an imperative, ACM Computing Surveys 29 (1997), 240-263.