Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jesper Vasell |
A Partial Evaluator for Data Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 206-215, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, Calton Pu, Jonathan Walpole |
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 44-46, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
Improving Abstract Interpretations by Combining Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 194-205, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail A. Bulyonkov |
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 59-65, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall |
Proofs by Structural Induction using Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 155-166, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Wei-Ngan Chin |
Towards an Automated Tupling Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 119-132, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karoline Malmkjær |
Predicting Properties of Residual Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 8-13, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Khaled Bsaïes |
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 108-115, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Morry Katz, Daniel Weise |
Towards a New Perspective on Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 29-37, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Torben Æ. Mogensen |
Self-applicable Partial Evaluation for Pure Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 116-121, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | David J. Sherman, Robert Strandh |
Call Unfolding Strategies for Equational Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 48-53, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | |
PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![Yale University The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | C. T. P. Burton |
Program Transformation by Derivor Manipulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 90-97, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Wei-Ngan Chin |
Fully Lazy Higher-Order Removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 38-47, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Lars Ole Andersen |
Self-applicable C Program Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 54-61, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Charles Consel, Satish Pai |
A Programming Environment for Binding-time Based Partial Evaluators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 62-66, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Lars Ole Andersen, Carsten K. Gomard |
Speedup Analysis in Partial Evaluation: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 1-7, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Bernhard Rytz, Marc Gengler |
A Polyvariant Binding Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 21-28, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Erik Ruf, Daniel Weise |
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 67-74, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | John Field |
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 98-107, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Babak Dehbonei, Pierre Jouvelot |
Semantical Interprocedural Analysis by Partial Symbolic Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 14-20, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas E. Cheatham, Dan C. Stefanescu |
A Suite of Optimizers Based on Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 75-81, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Sheila Harnett, Margaret Montenyohl |
Towards Efficient Compilation of a Dynamic Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909), pp. 82-89, 1992, Yale University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Uwe Meyer 0003 |
Techniques for Partial Evaluation of Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 94-105, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Common Lisp |
1 | Charles Consel, Olivier Danvy (eds.) |
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 0-89791-433-3 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Kehler Holst, Carsten K. Gomard |
Partial Evaluation is Fuller Laziness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 223-233, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David J. Sherman, Robert Strandh, Irène Durand |
Optimization of Equational Programs Using Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 72-82, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ruf, Daniel Weise |
Using Types to Avoid Redundant Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 321-333, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Timothy S. McNerney |
Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 106-115, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Anne De Niel, Eddy Bevers, Karel De Vlaminck |
Program Bifurcation for a Polymorphic Typed Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 142-153, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carsten K. Gomard, Peter Sestoft |
Globalization and Live Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 166-177, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Siau-Cheng Khoo, R. S. Sundaresh |
Compiling Inheritance using Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 211-222, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Björn Lisper |
Detecting Static Algorithms by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 31-42, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Semantics Preserving Transformation Rules for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 274-284, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Olin Shivers |
The Semantics of Scheme Control-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 190-198, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Young Gil Park, Benjamin Goldberg |
Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 178-189, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dan Sahlin |
Determinacy Analysis for Full Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 23-30, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Donald A. Smith |
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 62-71, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Timothy J. Hickey, Donald A. Smith |
Toward the Partial Evaluation of CLP Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 43-51, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Gilberto Filé |
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 52-61, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Is There a Use for Linear Logic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 255-273, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Spiro Michaylov, Frank Pfenning |
Compiling the Polymorphic Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 285-296, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
A Syntactic Approach to Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 116-129, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ian A. Mason, Carolyn L. Talcott |
Program Transformations for Configuring Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 297-308, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrei V. Klimov |
Dynamic Specialization in Extended Functional Language with Monotone Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 199-210, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Romanenko |
Inversion and Metacomputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 12-22, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Refal |
1 | Robert Muller |
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 234-242, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LISP |
1 | Sebastian Hunt, David Sands 0001 |
Binding Time Analysis: A New PERspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 154-165, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft Hansen |
Properties of Unfolding-based Meta-level Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 243-254, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Takano |
Generalized Partial Computation for a Lazy Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 1-11, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | R. S. Sundaresh |
Building Incremental Programs using Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 83-93, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück |
Towards Multiple Self-Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 309-320, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LISP |
1 | John Hannan |
Staging Transformations for Abstract Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 130-141, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|