- 1998
- Farid Ajili, Hendrik C. R. Lock:
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. PLILP/ALP 1998: 463-480 - Takahito Aoto:
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. PLILP/ALP 1998: 250-265 - Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo:
Embedding Multiset Constraints into a Lazy Functional Logic Language. PLILP/ALP 1998: 429-444 - Andrea Asperti
:
Optimal Reduction of Functional Expressions. PLILP/ALP 1998: 427-428 - Silvia Breitinger, Ulrike Klusik, Rita Loogen:
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View. PLILP/ALP 1998: 318-334 - Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker:
Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP 1998: 118-133 - John G. Cleary, Lunjin Lu:
Constructive Negation Using Typed Existence Properties. PLILP/ALP 1998: 411-426 - Michael Codish, Harald Søndergaard:
The Boolean Logic of Set Sharing Analysis. PLILP/ALP 1998: 89-101 - Charles Consel, Renaud Marlet:
Architecture Software Using: A Methodology for Language Development. PLILP/ALP 1998: 170-194 - Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet:
A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP 1998: 355-373 - Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
Logic Programming and Model Checking. PLILP/ALP 1998: 1-20 - Bart Demoen, Konstantinos Sagonas:
CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35 - Conal Elliott:
Functional Implementations of Continuos Modeled Animation. PLILP/ALP 1998: 284-299 - Jesper Eskilson, Mats Carlsson:
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. PLILP/ALP 1998: 36-53 - Marc Feeley, Martin Larose:
Compiling Erlang to Scheme. PLILP/ALP 1998: 300-317 - Joseph A. Goguen, Grant Malcolm, Tom Kemp:
A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462 - John Hannan:
Program Analysis in Lambda-Prolog. PLILP/ALP 1998: 353-354 - Michael Hanus, Frank Steiner:
Controlling Search in Declarative Programs. PLILP/ALP 1998: 374-390 - John Hatcliff, Matthew B. Dwyer, Shawn Laubach:
Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151 - Delia Kesner, Pablo E. Martínez López:
Explicit Substitutions for Objects and Functions. PLILP/ALP 1998: 195-212 - Giorgio Levi, Fausto Spoto:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169 - Giorgio Levi, Paolo Volpe:
Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117 - Sébastien Limet, Frédéric Saubion:
A General Framework for R-Unification Problems. PLILP/ALP 1998: 266-281 - James Lipton, Robert McGrail:
Encapsulating Data in Logic Programming via Categorial Constraints. PLILP/ALP 1998: 391-410 - Pierre-Etienne Moreau, Hélène Kirchner:
A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249 - Andrew M. Pitts:
Operational Versus Denotational Methods in the Semantics of Higher Order Languages. PLILP/ALP 1998: 282-283 - Enrico Pontelli, Desh Ranjan, Gopal Gupta:
The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229 - Philippe Refalo:
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method. PLILP/ALP 1998: 481-496 - Jan-Georg Smaus, Patricia M. Hill, Andy King:
Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP 1998: 73-88 - Wim Vanhoof, Danny De Schreye, Bern Martens:
A Framework for Bottom Up Specialisation of Logic Programs. PLILP/ALP 1998: 54-72
