Caching intermediate results for program improvement

Yanhong A. Liu; Tim Teitelbaum

doi:10.1145/215465.215590

Caching intermediate results for program improvement

Yanhong A. Liu
, Tim Teitelbaum

Computer Science

Cornell University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

18 Scopus citations

Abstract

A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be ap plied straightforwardly to provide a systematic approach to program improvement via caching.

Original language	English
Title of host publication	Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995
Publisher	Association for Computing Machinery
Pages	190-201
Number of pages	12
ISBN (Electronic)	0897917200
DOIs	https://doi.org/10.1145/215465.215590
State	Published - Jun 23 1995
Event	1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995 - San Diego, United States Duration: Jun 21 1995 → Jun 23 1995

Publication series

Name	Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Volume	Part F129370

Conference

Conference	1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995
Country/Territory	United States
City	San Diego
Period	06/21/95 → 06/23/95

Access to Document

10.1145/215465.215590

Cite this

Liu, Y. A., & Teitelbaum, T. (1995). Caching intermediate results for program improvement. In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995 (pp. 190-201). (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation; Vol. Part F129370). Association for Computing Machinery. https://doi.org/10.1145/215465.215590

Liu, Yanhong A. ; Teitelbaum, Tim. / Caching intermediate results for program improvement. Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995. Association for Computing Machinery, 1995. pp. 190-201 (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

@inproceedings{2e0e3a09dd874679aaac50c52954a5aa,

title = "Caching intermediate results for program improvement",

abstract = "A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be ap plied straightforwardly to provide a systematic approach to program improvement via caching.",

author = "Liu, \{Yanhong A.\} and Tim Teitelbaum",

note = "Publisher Copyright: {\textcopyright} 1995 ACM.; 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995 ; Conference date: 21-06-1995 Through 23-06-1995",

year = "1995",

month = jun,

day = "23",

doi = "10.1145/215465.215590",

language = "English",

series = "Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation",

publisher = "Association for Computing Machinery",

pages = "190--201",

booktitle = "Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995",

}

Liu, YA & Teitelbaum, T 1995, Caching intermediate results for program improvement. in Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, vol. Part F129370, Association for Computing Machinery, pp. 190-201, 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995, San Diego, United States, 06/21/95. https://doi.org/10.1145/215465.215590

Caching intermediate results for program improvement. / Liu, Yanhong A.; Teitelbaum, Tim.
Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995. Association for Computing Machinery, 1995. p. 190-201 (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation; Vol. Part F129370).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Caching intermediate results for program improvement

AU - Liu, Yanhong A.

AU - Teitelbaum, Tim

PY - 1995/6/23

Y1 - 1995/6/23

N2 - A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be ap plied straightforwardly to provide a systematic approach to program improvement via caching.

AB - A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be ap plied straightforwardly to provide a systematic approach to program improvement via caching.

UR - https://www.scopus.com/pages/publications/84957614508

U2 - 10.1145/215465.215590

DO - 10.1145/215465.215590

M3 - Conference contribution

AN - SCOPUS:84957614508

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

SP - 190

EP - 201

BT - Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995

PB - Association for Computing Machinery

T2 - 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995

Y2 - 21 June 1995 through 23 June 1995

ER -

Liu YA, Teitelbaum T. Caching intermediate results for program improvement. In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995. Association for Computing Machinery. 1995. p. 190-201. (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation). doi: 10.1145/215465.215590

Caching intermediate results for program improvement

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this