|
Conferences in DBLP
- Simon L. Peyton Jones, Norman Ramsey, Fermin Reig
C--: A Portable Assembly Language that Supports Garbage Collection. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:1-28 [Conf]
- Fairouz Kamareddine, François Monin
On Formalised Proofs of Termination of Recursive Functions. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:29-46 [Conf]
- Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
Argument Filtering Transformation. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:47-61 [Conf]
- Davide Ancona, Elena Zucca
A Primitive Calculus for Module Systems. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:62-79 [Conf]
- Claudio V. Russo
Non-dependent Types for Standard ML Modules. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:80-97 [Conf]
- Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin
Constraint Programming in OPL. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:98-116 [Conf]
- Christian Holzbaur, Thom W. Frühwirth
Compiling Constraint Handling Rules into Prolog with Attributed Variables. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:117-133 [Conf]
- Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José J. Ruz
Parallel Execution Models for Constraint Programming over Finite Domains. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:134-151 [Conf]
- Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
Functional Plus Logic Programming with Built-In and Symbolic Constraints. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:152-169 [Conf]
- Maribel Fernández, Ian Mackie
A Calculus for Interaction Nets. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:170-187 [Conf]
- Michael Hanus
Distributed Programming in a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:188-205 [Conf]
- Frank Pfenning
Logical and Meta-Logical Frameworks (Abstract). [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:206- [Conf]
- Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti
A Simple and General Method for Integrating Abstract Interpretation in SICStus. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:207-223 [Conf]
- Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery
Run Time Type Information in Mercury. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:224-243 [Conf]
- Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
A Virtual Machine for a Process Calculus. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:244-260 [Conf]
- Vítor Santos Costa
Optimising Bytecode Emulation for Prolog. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:261-277 [Conf]
- Jacinto A. Dávila
OPENLOG: A Logic Programming Language Based on Abduction. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:278-293 [Conf]
- Lunjin Lu, John G. Cleary
An Operational Semantics of Starlog. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:294-310 [Conf]
- Roberta Gori, Giorgio Levi
On the Verification of Finite Failure. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:311-327 [Conf]
- Ulrich Neumerkel, Frédéric Mesnard
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:328-342 [Conf]
- Sofie Verbaeten, Konstantinos F. Sagonas, Danny De Schreye
Modular Termination Proofs for Prolog with Tabling. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:342-359 [Conf]
- Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
Declarative Program Transformation: A Deforestation Case-Study. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:360-377 [Conf]
- Andrzej Filinski
A Semantic Account of Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:378-395 [Conf]
- Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:396-413 [Conf]
- Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
Widening Sharing. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:414-432 [Conf]
|