Skip to content

Practical Aspects of Declarative Languages

PADL

C

CORE rank

CORE rank (raw)

C

Fields of research

Software Engineering

Papers indexed

487

1999–2026

Papers per year

199926 peak2026

PADL papers

487 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1999Using Constraints in Local Proofs for CLP Debugging.Claude La
1999Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.Wolfram Kahl
1999MCORBA: A CORBA Binding for Mercury.David Jeffery, Tyson Dowd, Zoltan Somogyi
1999Implementing a Declarative String Query Language with String Restructuring.Raul Hakli, Matti Nyknen, Hellis Tamm, Esko Ukkonen
1999University Timetabling Using Constraint Logic Programming.Hans-Joachim Goltz, Dirk Matzke
1999Multiple Specialization of WAM Code.Michel Ferreira, Lus Damas
1999From Functional Animation to Sprite-Based Display.Conal Elliott
1999CHAT: The Copy-Hybrid Approach to Tabling.Bart Demoen, Konstantinos Sagonas
1999Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.Mats Carlsson, Per Kreuger, Emil strm
1999NP-SPEC: An Executable Specification Language for Solving All Problems in NP.Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
1999Multi-agent Systems Development as a Software Engineering Enterprise.Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999Applying Logic Programming to Derive Novel Functional Information of Genomes.Arvind K. Bansal, Peer Bork
476487 of 487← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.