Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Handling Java's Abrupt Termination in a Sequent Calculus for Dynamic Logic

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Bettina Sasse
In:IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD '01)
Verleger:Technical Report DII 07/01, Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena
Jahr:2001
Seiten:5-14

BibTeX

@inproceedings{BeckertSasse2001,
  author    = {Bernhard Beckert and Bettina Sasse},
  title     = {Handling {J}ava's Abrupt Termination in a Sequent Calculus
	       for {D}ynamic {L}ogic},
  booktitle = {IJCAR Workshop on Precise Modelling and
	       Deduction for Object-oriented Software Development ({PMD} '01)},
  place     = {Siena, Italy},
  editor    = {B. Beckert and R. France and R. H\"ahnle and B. Jacobs},
  publisher = {Technical Report DII 07/01, Dipartimento di Ingegneria
	       dell'Informazione, Universit\`a degli Studi di Siena},
  pages     = {5--14},
  month     = jun,
  date      = {June 18},
  year      = {2001}
}