Termination and non-termination specification inference

Hdl Handle:
http://hdl.handle.net/10149/594423
Title:
Termination and non-termination specification inference
Authors:
Le, T. C. (Ton Chanh); Qin, S. (Shengchao); Chin, W. N. (Wei-Ngan)
Affiliation:
Teesside University. Digital Futures Institute
Citation:
Le, T. C., Qin, S., Chin, W. N. (2015) 'Termination and non-termination specification inference' The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15), Portland, Oregon, United States, 13-17 June, 2015
Publisher:
ACM
Conference:
The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15), Portland, Oregon, United States, 13-17 June, 2015
Issue Date:
2015
URI:
http://hdl.handle.net/10149/594423
DOI:
10.1145/2737924.2737993
Additional Links:
http://dl.acm.org/citation.cfm?doid=2737924.2737993
Type:
Meetings and Proceedings
Language:
en
Rights:
Author can archive post-print. For full details see http://authors.acm.org/main.html [Accessed: 20/01/2016]

Full metadata record

DC FieldValue Language
dc.contributor.authorLe, T. C. (Ton Chanh)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W. N. (Wei-Ngan)en
dc.date.accessioned2016-01-20T15:54:39Zen
dc.date.available2016-01-20T15:54:39Zen
dc.date.issued2015en
dc.identifier.doi10.1145/2737924.2737993en
dc.identifier.urihttp://hdl.handle.net/10149/594423en
dc.language.isoenen
dc.publisherACMen
dc.relation.urlhttp://dl.acm.org/citation.cfm?doid=2737924.2737993en
dc.rightsAuthor can archive post-print. For full details see http://authors.acm.org/main.html [Accessed: 20/01/2016]en
dc.titleTermination and non-termination specification inferenceen
dc.typeMeetings and Proceedingsen
dc.contributor.departmentTeesside University. Digital Futures Instituteen
dc.identifier.conferenceThe 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15), Portland, Oregon, United States, 13-17 June, 2015en
or.citation.harvardLe, T. C., Qin, S., Chin, W. N. (2015) 'Termination and non-termination specification inference' The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15), Portland, Oregon, United States, 13-17 June, 2015en
dc.eprint.versionAuthor accepted manuscripten
dc.embargoNoneen
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.