Reasoning about non-terminating loops using deadline commands

Hayes, I. J. (2000). Reasoning about non-terminating loops using deadline commands. In: R. Backhouse and J. N. Oliveira, Lecture notes in computer science: 5th International Conference on Mathematics of Program Construction: MPC 2000. MPC 2000, Ponte de Lima, Portugal, (60-79). 3-5 July 2000. doi:10.1007/10722010_5


Author Hayes, I. J.
Title of paper Reasoning about non-terminating loops using deadline commands
Conference name MPC 2000
Conference location Ponte de Lima, Portugal
Conference dates 3-5 July 2000
Proceedings title Lecture notes in computer science: 5th International Conference on Mathematics of Program Construction: MPC 2000   Check publisher's open access policy
Journal name Mathematics of Program Construction   Check publisher's open access policy
Place of Publication Berlin
Publisher Springer
Publication Year 2000
Sub-type Fully published paper
DOI 10.1007/10722010_5
ISBN 3540677275
ISSN 0302-9743
Editor R. Backhouse
J. N. Oliveira
Volume 1837
Start page 60
End page 79
Total pages 20
Collection year 2000
Language eng
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 4 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 06 Jun 2008, 13:56:35 EST