Program transformation by solving recurrences

10.1145/1111542.1111563

Saved in:
Bibliographic Details
Main Authors: Luca, B., Andrei, S., Anderson, H., Khoo, S.-C.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40353
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40353
record_format dspace
spelling sg-nus-scholar.10635-403532015-01-07T21:00:22Z Program transformation by solving recurrences Luca, B. Andrei, S. Anderson, H. Khoo, S.-C. COMPUTER SCIENCE Efficient time complexity Program transformation Recurrences with one or multiple parameters 10.1145/1111542.1111563 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 121-129 2013-07-04T08:02:23Z 2013-07-04T08:02:23Z 2006 Conference Paper Luca, B.,Andrei, S.,Anderson, H.,Khoo, S.-C. (2006). Program transformation by solving recurrences. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 121-129. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/1111542.1111563" target="_blank">https://doi.org/10.1145/1111542.1111563</a> 1595931961 http://scholarbank.nus.edu.sg/handle/10635/40353 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Efficient time complexity
Program transformation
Recurrences with one or multiple parameters
spellingShingle Efficient time complexity
Program transformation
Recurrences with one or multiple parameters
Luca, B.
Andrei, S.
Anderson, H.
Khoo, S.-C.
Program transformation by solving recurrences
description 10.1145/1111542.1111563
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Luca, B.
Andrei, S.
Anderson, H.
Khoo, S.-C.
format Conference or Workshop Item
author Luca, B.
Andrei, S.
Anderson, H.
Khoo, S.-C.
author_sort Luca, B.
title Program transformation by solving recurrences
title_short Program transformation by solving recurrences
title_full Program transformation by solving recurrences
title_fullStr Program transformation by solving recurrences
title_full_unstemmed Program transformation by solving recurrences
title_sort program transformation by solving recurrences
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40353
_version_ 1681082253453557760