C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PLILP/ALP
1998
1998
1998
Keyphrases
Publications
1998
Pierre-Etienne Moreau
,
Hélène Kirchner
A Compiler for Rewrite Programs in Associative-Commutative Theories.
PLILP/ALP
(1998)
Jan-Georg Smaus
,
Patricia M. Hill
,
Andy King
Termination of Logic Programs with block Declarations Running in Several Modes.
PLILP/ALP
(1998)
John Hatcliff
,
Matthew B. Dwyer
,
Shawn Laubach
Staging Static Analyses Using Abstraction-Based Program Specialization.
PLILP/ALP
(1998)
Marc Feeley
,
Martin Larose
Compiling Erlang to Scheme.
PLILP/ALP
(1998)
John G. Cleary
,
Lunjin Lu
Constructive Negation Using Typed Existence Properties.
PLILP/ALP
(1998)
Maurice Bruynooghe
,
Henk Vandecasteele
,
D. Andre de Waal
,
Marc Denecker
Detecting Unsolvable Queries for Definite Logic Programs.
PLILP/ALP
(1998)
Philippe Refalo
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method.
PLILP/ALP
(1998)
Andrew M. Pitts
Operational Versus Denotational Methods in the Semantics of Higher Order Languages.
PLILP/ALP
(1998)
Andrea Asperti
Optimal Reduction of Functional Expressions.
PLILP/ALP
(1998)
Takahito Aoto
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems.
PLILP/ALP
(1998)
Giorgio Levi
,
Paolo Volpe
Derivation of Proof Methods by Abstract Interpretation.
PLILP/ALP
(1998)
Silvia Breitinger
,
Ulrike Klusik
,
Rita Loogen
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View.
PLILP/ALP
(1998)
David Wakeling
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine.
PLILP/ALP
(1998)
Jesper Eskilson
,
Mats Carlsson
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog.
PLILP/ALP
(1998)
Farid Ajili
,
Hendrik C. R. Lock
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.
PLILP/ALP
(1998)
James Lipton
,
Robert McGrail
Encapsulating Data in Logic Programming via Categorial Constraints.
PLILP/ALP
(1998)
Delia Kesner
,
Pablo E. Martínez López
Explicit Substitutions for Objects and Functions.
PLILP/ALP
(1998)
Enrico Pontelli
,
Desh Ranjan
,
Gopal Gupta
The Complexity of Late-Binding in Dynamic Object-Oriented Languages.
PLILP/ALP
(1998)
Charles Consel
,
Renaud Marlet
Architecture Software Using: A Methodology for Language Development.
PLILP/ALP
(1998)
Sébastien Limet
,
Frédéric Saubion
A General Framework for R-Unification Problems.
PLILP/ALP
(1998)
Michael Hanus
,
Frank Steiner
Controlling Search in Declarative Programs.
PLILP/ALP
(1998)
Giorgio Levi
,
Fausto Spoto
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
PLILP/ALP
(1998)
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)
Bart Demoen
,
Konstantinos Sagonas
CAT: The Copying Approach to Tabling.
PLILP/ALP
(1998)
Roberto Di Cosmo
,
Jean-Vincent Loddo
,
Stephane Nicolet
A Game Semantics Foundation for Logic Programming (Extended Abstract).
PLILP/ALP
(1998)
Joseph A. Goguen
,
Grant Malcolm
,
Tom Kemp
A Hidden Herbrand Theorem.
PLILP/ALP
(1998)
Conal Elliott
Functional Implementations of Continuos Modeled Animation.
PLILP/ALP
(1998)
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)
Wim Vanhoof
,
Danny De Schreye
,
Bern Martens
A Framework for Bottom Up Specialisation of Logic Programs.
PLILP/ALP
(1998)
Michael Codish
,
Harald Søndergaard
The Boolean Logic of Set Sharing Analysis.
PLILP/ALP
(1998)
John Hannan
Program Analysis in Lambda-Prolog.
PLILP/ALP
(1998)