Reasoning about loops in total and general correctness

Hdl Handle:
http://hdl.handle.net/10149/111549
Title:
Reasoning about loops in total and general correctness
Book Title:
Unifying theories of programming
Authors:
Dunne, S. E. (Steve); Hayes, I. J. (Ian); Galloway, A. J. (Andy)
Editors:
Butterfield, A. (Andrew)
Affiliation:
University of Teesside. School of Computing.
Citation:
Dunne, S. E., Hayes, I. J. and Galloway, A. J. (2010) 'Reasoning about loops in total and general correctness', 2nd international symposium on unifying theories of programming, UTP 2008, Dublin, September 8-10 September, 2008, in Butterfield, A. (ed) Unifying theories of programming, Lecture notes in computer science, 5713. Heidelberg: Springer-Verlag, pp.62-81.
Publisher:
Springer
Conference:
2nd international symposium on unifying theories of programming, UTP 2008, Dublin, September 8-10 September, 2008
Issue Date:
2010
URI:
http://hdl.handle.net/10149/111549
DOI:
10.1007/978-3-642-14521-6_5
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
chaotic behaviour; general correctness; while loops; reasoning
Series/Report no.:
Lecture notes in computer science; 5713
ISSN:
0302-9743
ISBN:
9783642145209
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 21/09/2010]
Citation Count:
0 [Scopus, 21/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDunne, S. E. (Steve)en
dc.contributor.authorHayes, I. J. (Ian)en
dc.contributor.authorGalloway, A. J. (Andy)en
dc.contributor.editorButterfield, A. (Andrew)en
dc.date.accessioned2010-09-21T12:59:45Z-
dc.date.available2010-09-21T12:59:45Z-
dc.date.issued2010-
dc.identifier.isbn9783642145209-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/978-3-642-14521-6_5-
dc.identifier.urihttp://hdl.handle.net/10149/111549-
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries5713en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 21/09/2010]en
dc.subjectchaotic behaviouren
dc.subjectgeneral correctnessen
dc.subjectwhile loopsen
dc.subjectreasoningen
dc.titleReasoning about loops in total and general correctnessen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapter-
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookUnifying theories of programmingen
dc.identifier.conference2nd international symposium on unifying theories of programming, UTP 2008, Dublin, September 8-10 September, 2008en
ref.citationcount0 [Scopus, 21/09/2010]en
or.citation.harvardDunne, S. E., Hayes, I. J. and Galloway, A. J. (2010) 'Reasoning about loops in total and general correctness', 2nd international symposium on unifying theories of programming, UTP 2008, Dublin, September 8-10 September, 2008, in Butterfield, A. (ed) Unifying theories of programming, Lecture notes in computer science, 5713. Heidelberg: Springer-Verlag, pp.62-81.-
prism.startingPage62-
prism.endingPage81-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.