default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 1993: Copenhagen, Denmark
- David A. Schmidt:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993. ACM 1993, ISBN 0-89791-594-1 - John Hannan:
Searching For Semantics. 1-12 - Christian Mossin:
Partial Evaluation of General Parsers. 13-21 - Torben Æ. Mogensen:
Constructor Spezialization. 22-32 - Karoline Malmkjær:
Towards Efficient Partial Evaluation. 33-43 - Charles Consel, Calton Pu, Jonathan Walpole:
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. 44-46 - Lars Ole Andersen:
Binding-Time Analysis and the Taming of C Pointers. 47-58 - Mikhail A. Bulyonkov:
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. 59-65 - Charles Consel:
Polyvariant Binding-Time Analysis For Applicative Languages. 66-77 - Kei Davis:
Higher-order Binding-time Analysis. 78-87 - John P. Gallagher:
Tutorial on Specialisation of Logic Programs. 88-98 - Baudouin Le Charlier, Pascal Van Hentenryck:
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. 99-110 - Steven D. Prestwich:
Online Partial Deduction of Large Programs. 111-118 - Wei-Ngan Chin:
Towards an Automated Tupling Strategy. 119-132 - Peter Thiemann:
A Safety Analysis for Functional Programs. 133-144 - Charles Consel:
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. 145-154 - Julia L. Lawall:
Proofs by Structural Induction using Partial Evaluation. 155-166 - Torben Poort Lange:
The Correctness of an Optimized Code Generation. 167-178 - Alan Mycroft:
Completeness and predicate-based abstract interpretation. 179-185 - Julian Seward:
Polymorphic Strictness Analysis using Frontiers. 186-193 - Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
:
Improving Abstract Interpretations by Combining Domains. 194-205 - Jesper Vasell:
A Partial Evaluator for Data Flow Graphs. 206-215
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
