Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Lutz Schröder, Till Mossakowski
Editor: Charles Rattray, Savitri Maharaj, Carron Shankland
Title: Generic exception handling and the Java monad
Book / Collection title: Algebraic Methodology and Software Technology
Volume: 3116
Page(s): 443 – 459
Series: Lecture Notes in Computer Science
Year published: 2004
Publisher: Springer, Berlin
Abstract: We develop an equational definition of exception monads that characterizes Moggi's exception monad transformer. This axiomatization is then used to define an extension of previously described monad-independent computational logics by abnormal termination. Instantiating this generic formalism with the Java monad used in the LOOP project yields in particular the known Hoare calculi with abnormal termination and JML's method specifications; this opens up the possibility of extending these formalisms by hitherto missing computational features such as I/O and nondeterminism.
Internet: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=443
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/javapdl.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~lschrode/papers/javapdl.ps
Keywords: Java monad dynamic logic exception HasCASL
Status: Reviewed
Last updated: 22. 06. 2005

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum