Unifying theories of programming that distinguish nontermination and abort

Ian J Hayes, Steve E Dunne, Larissa Meinicke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

114 Downloads (Pure)
Original languageEnglish
Title of host publicationMathematics of programme construction
EditorsClaude Bolduc, Jules Desharnais, Béchir Ktari
Place of PublicationBerlin
PublisherSpringer Verlag
Pages178-194
ISBN (Print)9783642133206
DOIs
Publication statusPublished - 2010
EventMathematics of Program Construction 10th International Conference - Québec City, Canada
Duration: 21 Jun 201023 Jun 2010

Publication series

NameLecture note in computer science; 6120

Conference

ConferenceMathematics of Program Construction 10th International Conference
Abbreviated titleMPC 2010
CountryCanada
CityQuébec City
Period21/06/1023/06/10

Cite this

Hayes, I. J., Dunne, S. E., & Meinicke, L. (2010). Unifying theories of programming that distinguish nontermination and abort. In C. Bolduc, J. Desharnais, & B. Ktari (Eds.), Mathematics of programme construction (pp. 178-194). (Lecture note in computer science; 6120). Springer Verlag. https://doi.org/10.1007/978-3-642-13321-3