| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eijiro Sumii, Naoki Kobayashi 0001 |
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract).  |
PEPM  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Scholz, Johann Blieberger, Thomas Fahringer |
Symbolic Pointer Analysis for Detecting Memory Leaks. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Levi, Fausto Spoto |
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Grobauer, Zhe Yang |
The Second Futamura Projection for Type-Directed Partial Evaluation. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Braux, Jacques Noyé |
Towards Partially Evaluating Reflection in Java. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall (eds.) |
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000 |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Calculating Sized Types. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning |
On the Logical Foundations of Staged Computation (Abstract of Invited Talk). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi 0001 |
Type-Based Useless Variable Elimination. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian R. Murphy, Monica S. Lam |
Program Analysis with Partial Transfer Functions. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Taha |
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Walpole |
Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Bawden |
Quasiquotation in Lisp. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki |
Diffusion: Calculating Efficient Parallel Programs. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher |
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Todd L. Veldhuizen |
C++ Templates as Partial Evaluation. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo |
Effective Optimization of Multiple Traversals in Lazy Languages. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Morten Rhiger |
Deriving a Statically Typed Type-Directed Partial Evaluator. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ralf Lämmel |
Declarative Aspect-Oriented Programming. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sandrine Chirokoff, Charles Consel |
Combining Program and Data Specialization. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | C. Barry Jay |
Partial Evaluation of Shaped Programs: Experience with FISh. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff |
Slicing Software for Model Construction. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Torben Æ. Mogensen |
Gödelization in the Untyped lambda-Calculus. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mark Tullsen, Paul Hudak |
Shifting Expression Procedures into Reverse. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luke Hornof, Trevor Jim |
Certifying Compilation and Run-Time Code Generation. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy (eds.) |
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1 |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Interpreting Specialization in Type Theory. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | David Melski, Thomas W. Reps |
Interconveritibility of Set Constraints and Context-Free Language Reachability. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Taha, Tim Sheard |
Multi-Stage Programming with Explicit Annotations. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hornof, Jacques Noyé |
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
C |
| 1 | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard |
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet |
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
C |
| 1 | Flemming Nielson, Hanne Riis Nielson |
Prescriptive Frameworks for Multi-Level Lambda-Calculi. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogardt Heldal, John Hughes 0001 |
Partial Evaluation and Separate Compilation. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
partial evaluation, modules, separate compilation |
| 1 | Clifford Beshers, Steven Feiner |
Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow |
| 1 | Mihnea Marinescu, Benjamin Goldberg |
Partial-Evaluation Techniques for Concurrent Programs. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis |
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Specialization of Lazy Functional Logic Programs. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems |
| 1 | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
A Transformation System for CLP with Dynamic Scheduling and CCP. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, transformation, deadlock, coroutining |
| 1 | John P. Gallagher, Charles Consel, A. Michael Berman (eds.) |
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997 |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Gengler, Matthieu Martel |
Self-Applicable Partial Evaluation for the pi-Calculus. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis |
| 1 | Saumya K. Debray |
Resource-Bounded Partial Evaluation. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Augustsson |
Partial Evaluation in Aircraft Crew Planning. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
airline crew scheduling, generalized constant propagation, program transformation, partial evaluation |
| 1 | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
Annotation-Directed Run-Time Specialization in C. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
C |
| 1 | Torben Æ. Mogensen |
Self-applicable Online Partial Evaluation of Pure Lambda Calculus. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck |
Semantic Foundations of Binding Time Analysis for Imperative Programs. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Implementation of Multiple Specialization in Logic Programs. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
compile-time analysis, multiple program specialization, optimization, multimedia, distributed computing, logic programming, graphical user interfaces, reconfiguration, abstract interpretation, direct manipulation, user interface management system |
| 1 | Neil D. Jones (eds.) |
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995 |
PEPM |
1995 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu |
Type Analysis of Logic Programs in the Presence of Type Definitions. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Christopher Colby |
Analyzing the Communication Topology of Concurrent Programs. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
| 1 | Alain Deutsch |
Semantic models and abstract interpretation techniques for inductive data structures and pointers |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Clock Analysis of Synchronous Dataflow Programs. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Lustre |
| 1 | Daniel Le Métayer |
Proving Properties of Programs Defined over Recursive Data Structures. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Monsuez |
Using Abstract Interpretation to Define a Strictness Type Inference System. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Dussart, Eddy Bevers, Karel De Vlaminck |
Polyvariant Constructor Specialisation. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001 |
A Symbolic Constraint Solving Framework for Analysis of Logic Programs. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Karoline Malmkjær, Peter Ørbæk |
Polyvariant Specialisation for Higher-Order, Block-Structured Languages. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Sandro Etalle, Maurizio Gabbrielli |
The Replacement Operation for CLP Modules. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Schedulers as Abstract Interpreter of Higher Dimensional Automata. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Yan Mei Tang, Pierre Jouvelot |
Effect Systems with Subtyping. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sands 0001 |
Higher Order Expression Procedures. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya K. Debray |
Abstract Interpretation and Low-Level Code Optimization. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
C |
| 1 | Michael Sperber, Peter Thiemann 0001 |
The Essence of LR Parsing. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil D. Jones |
Special Address: MIX ten years after. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyung-Goo Doh |
Action Transformation by Partial Evaluation. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps |
Shape Analysis as a Generalized Path Problem. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | Yanhong A. Liu, Tim Teitelbaum |
Caching Intermediate Results for Program Improvement. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Cridlig |
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Dean, Craig Chambers, David Grove |
Identifying Profitable Specialization in Object-Oriented Languages. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
The Essence of Eta-Expansion in Partial Evaluation. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Lars Birkedal, Morten Welinder |
Binding-Time Analysis for Standard ML. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Clement A. Baker-Finch |
Type Theory and Projections for Higher-Order Static Analysis. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mark Leone, Peter Lee 0001 |
Lightweight Run-Time Code Generation. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Higher-Order Redundancy Elimination. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Leonidas Fegaras, Tim Sheard, Tong Zhou |
Improving Programs Which Recurse over Multiple Inductive Structures. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kei Davis |
PERs from Projections for Binding-Time Analysis. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andrew A. Berlin, Rajeev J. Surati |
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anders Bondorf, Dirk Dussart |
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Simon Courtenage, Chris D. Clack |
Analysing Resource Use in the Lambda Calculus by Type Inference. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Romana Baier, Robert Glück, Robert Zöchling |
Partial Evaluation of Numerical Programs in Fortran. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | |
PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings. Technical Report 94/9 |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mark P. Jones |
Dictionary-Free Overloading by Partial Evaluation. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Charles Consel |
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Peter Thiemann 0001 |
A Safety Analysis for Functional Programs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Schmidt (eds.) |
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993 |
PEPM |
1993 |
DBLP BibTeX RDF |
|
| 1 | Julian Seward |
Polymorphic Strictness Analysis using Frontiers. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Æ. Mogensen |
Constructor Spezialization. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Standard ML |
| 1 | Karoline Malmkjær |
Towards Efficient Partial Evaluation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kei Davis |
Higher-order Binding-time Analysis. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Consel |
Polyvariant Binding-Time Analysis For Applicative Languages. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Ole Andersen |
Binding-Time Analysis and the Taming of C Pointers. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
C |
| 1 | Baudouin Le Charlier, Pascal Van Hentenryck |
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Christian Mossin |
Partial Evaluation of General Parsers. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher |
Tutorial on Specialisation of Logic Programs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Steven D. Prestwich |
Online Partial Deduction of Large Programs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Poort Lange |
The Correctness of an Optimized Code Generation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hannan |
Searching For Semantics. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
Completeness and predicate-based abstract interpretation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license