Unifying theories of programming that distinguish nontermination and abort

Ian J Hayes; Steve E Dunne; Larissa Meinicke

doi:10.1007/978-3-642-13321-3

Unifying theories of programming that distinguish nontermination and abort

Ian J Hayes, Steve E Dunne, Larissa Meinicke

Teesside University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

264 Downloads (Pure)

Original language	English
Title of host publication	Mathematics of programme construction
Editors	Claude Bolduc, Jules Desharnais, Béchir Ktari
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	178-194
ISBN (Print)	9783642133206
DOIs	https://doi.org/10.1007/978-3-642-13321-3
Publication status	Published - 2010
Event	Mathematics of Program Construction 10th International Conference - Québec City, Canada Duration: 21 Jun 2010 → 23 Jun 2010

Publication series

Name	Lecture note in computer science; 6120

Conference

Conference	Mathematics of Program Construction 10th International Conference
Abbreviated title	MPC 2010
Country/Territory	Canada
City	Québec City
Period	21/06/10 → 23/06/10

Access to Document

10.1007/978-3-642-13321-3

Accepted manuscriptAccepted author manuscript, 151 KBLicence: CC BY-NC-ND

Cite this

@inproceedings{3b43b9748a4f406ba6a413fc1a25f77e,

title = "Unifying theories of programming that distinguish nontermination and abort",

author = "Hayes, {Ian J} and Dunne, {Steve E} and Larissa Meinicke",

year = "2010",

doi = "10.1007/978-3-642-13321-3",

language = "English",

isbn = "9783642133206",

series = "Lecture note in computer science; 6120",

publisher = "Springer Verlag",

pages = "178--194",

editor = "Claude Bolduc and Jules Desharnais and B{\'e}chir Ktari",

booktitle = "Mathematics of programme construction",

address = "Germany",

note = "Mathematics of Program Construction 10th International Conference, MPC 2010 ; Conference date: 21-06-2010 Through 23-06-2010",

}

Hayes, IJ, Dunne, SE & Meinicke, L 2010, Unifying theories of programming that distinguish nontermination and abort. in C Bolduc, J Desharnais & B Ktari (eds), Mathematics of programme construction. Lecture note in computer science; 6120, Springer Verlag, Berlin, pp. 178-194, Mathematics of Program Construction 10th International Conference, Québec City, Canada, 21/06/10. https://doi.org/10.1007/978-3-642-13321-3

Unifying theories of programming that distinguish nontermination and abort. / Hayes, Ian J; Dunne, Steve E; Meinicke, Larissa.
Mathematics of programme construction. ed. / Claude Bolduc; Jules Desharnais; Béchir Ktari. Berlin: Springer Verlag, 2010. p. 178-194 (Lecture note in computer science; 6120).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Unifying theories of programming that distinguish nontermination and abort

AU - Hayes, Ian J

AU - Dunne, Steve E

AU - Meinicke, Larissa

PY - 2010

Y1 - 2010

UR - http://www.springerlink.com/content/978-3-642-13320-6/#section=723890&page=1&locus=3

U2 - 10.1007/978-3-642-13321-3

DO - 10.1007/978-3-642-13321-3

M3 - Conference contribution

SN - 9783642133206

T3 - Lecture note in computer science; 6120

SP - 178

EP - 194

BT - Mathematics of programme construction

A2 - Bolduc, Claude

A2 - Desharnais, Jules

A2 - Ktari, Béchir

PB - Springer Verlag

CY - Berlin

T2 - Mathematics of Program Construction 10th International Conference

Y2 - 21 June 2010 through 23 June 2010

ER -

Unifying theories of programming that distinguish nontermination and abort

Publication series

Conference

Access to Document

Other files and links

Cite this