default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. PLILP 1990: Linköping, Sweden
- Pierre Deransart, Jan Maluszynski:
Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings. Lecture Notes in Computer Science 456, Springer 1990, ISBN 3-540-53010-X
Implementation of Term Rewriting
- Claude Kirchner, Patrick Viry:
Implementing Parallel Rewriting. 1-15 - Andy Mück:
Compilation of Narrowing. 16-29
Algorithmic Programming
- Franz-Josef Grosch, Gregor Snelting:
Inference-Based Overloading Resolution for ADA. 30-44 - Jonathan P. Bowen
, Jifeng He, Paritosh K. Pandya:
An Approach to Verifiable Compiling Specification and Prototyping. 45-59 - Mariam Kamkar, Nahid Shahmehri, Peter Fritzson:
Bug Localization by Algorithmic Debugging and Program Slicing. 60-74
Constraint Logic Programming
- Pierre Lim, Peter J. Stuckey:
A Constraint Logic Programming Shell. 75-88 - Juhani Jaakola:
Modifying the Simplex Algorithm to a Constraint Solver. 89-105 - Pierre Lim, David N. Morley:
Implementing a Meta-Logical Scheme. 106-120
Implementation of Logic Programming
- Andreas Krall, Ulrich Neumerkel:
The Vienna Abstract Machine. 121-135 - Serge Le Huitouze:
A New Data Structure for Implementing Extensions to Prolog. 136-150
Logic Programming
- Dan Sahlin:
Finding the Least Fixed Point Using Wait-Declarations in Prolog. 151-158 - Paul Tarau, Michel Boyer:
Elementary Logic Programs. 159-173 - Laurent Fribourg:
A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. 174-188
Static Analysis
- Ian A. Mason, Carolyn L. Talcott:
Reasoning About Programs with Effects. 189-203 - Bal Wang, R. K. Shyamasundar:
Towards a Characterization of Termination of Logic Programs. 204-221 - Pierre De Boeck, Baudouin Le Charlier:
Static Type Analysis of Prolog Procedures for Ensuring Correctness. 222-237
Functional Programming
- Andrea Asperti:
Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. 238-254 - Xavier Leroy:
Efficient Data Representation in Polymorphic Languages. 255-276
Abstract Interpretation
- Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm:
A Logic-Based Approach to Data Flow Analysis Problem. 277-292 - Ulf Nilsson:
Systematic Semantic Approximations of Logic Programs. 293-306 - François Bourdoncle:
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. 307-323 - Veroniek Dumortier, Maurice Bruynooghe:
On the Automatic Generation of Events in Delta Prolog. 324-339
Implementation of Pattern Matching
- Christian Queinnec:
Compilation of Non-Linear, Second Order Patterns on S-Expressions. 340-357 - Christian Ferdinand:
Pattern Matching in a Functional Transformation Language using Treeparsing. 358-371
Integration of Logic Programming and Functional Programming
- Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Logic Programming within a Functional Framework. 372-386 - Michael Hanus:
Compiling Logic Programs with Equality. 387-400
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-14 20:48 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:
