Output-constraint specialization

Output-constraint specialization

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Saved in:
Bibliographic Details
Main Authors: Khoo, S.-C., Shi, K.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Partial evaluation
Specialization
Weakest precondition
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40469
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40469
record_format dspace
spelling sg-nus-scholar.10635-404692015-03-07T06:08:04Z Output-constraint specialization Khoo, S.-C. Shi, K. COMPUTER SCIENCE Partial evaluation Specialization Weakest precondition Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation SEP. 106-116 2013-07-04T08:05:01Z 2013-07-04T08:05:01Z 2002 Conference Paper Khoo, S.-C.,Shi, K. (2002). Output-constraint specialization. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (SEP.) : 106-116. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/40469 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Partial evaluation
Specialization
Weakest precondition
spellingShingle Partial evaluation
Specialization
Weakest precondition
Khoo, S.-C.
Shi, K.
Output-constraint specialization
description Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Khoo, S.-C.
Shi, K.
format Conference or Workshop Item
author Khoo, S.-C.
Shi, K.
author_sort Khoo, S.-C.
title Output-constraint specialization
title_short Output-constraint specialization
title_full Output-constraint specialization
title_fullStr Output-constraint specialization
title_full_unstemmed Output-constraint specialization
title_sort output-constraint specialization
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40469
_version_ 1681082273340850176

Similar Items