Regular approximation and bounded domains for size-change termination

10.1145/1706356.1706369

Saved in:

Bibliographic Details
Main Authors:	Anderson, H., Khoo, S.-C.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Affine size-change termination Termination analysis
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41433
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41433
record_format	dspace
spelling	sg-nus-scholar.10635-414332023-10-29T20:08:50Z Regular approximation and bounded domains for size-change termination Anderson, H. Khoo, S.-C. COMPUTER SCIENCE Affine size-change termination Termination analysis 10.1145/1706356.1706369 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 53-62 2013-07-04T08:27:26Z 2013-07-04T08:27:26Z 2010 Conference Paper Anderson, H., Khoo, S.-C. (2010). Regular approximation and bounded domains for size-change termination. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 53-62. ScholarBank@NUS Repository. https://doi.org/10.1145/1706356.1706369 9781605587271 http://scholarbank.nus.edu.sg/handle/10635/41433 000276187300007 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Affine size-change termination Termination analysis
spellingShingle	Affine size-change termination Termination analysis Anderson, H. Khoo, S.-C. Regular approximation and bounded domains for size-change termination
description	10.1145/1706356.1706369
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Anderson, H. Khoo, S.-C.
format	Conference or Workshop Item
author	Anderson, H. Khoo, S.-C.
author_sort	Anderson, H.
title	Regular approximation and bounded domains for size-change termination
title_short	Regular approximation and bounded domains for size-change termination
title_full	Regular approximation and bounded domains for size-change termination
title_fullStr	Regular approximation and bounded domains for size-change termination
title_full_unstemmed	Regular approximation and bounded domains for size-change termination
title_sort	regular approximation and bounded domains for size-change termination
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41433
_version_	1781411115756945408

Regular approximation and bounded domains for size-change termination

Similar Items