default search action

combined dblp search
author search
venue search
publication search

ask others

1st PADL 1999: San Antonio, Texas, USA

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/1999
Gopal Gupta:
Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Lecture Notes in Computer Science 1551, Springer 1998, ISBN 3-540-65527-1

Software Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/padl/MossR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MossR99
Graeme E. Moss, Colin Runciman:
Automated Benchmarking of Functional Data Structures. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CadoliPSV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CadoliPSV99
Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile:
NP-SPEC: An Executable Specification Language for Solving All Problems in NP. 16-30
- view
  authority control:
- export record
  dblp key:
  - conf/padl/LetelierSR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/LetelierSR99
Patricio Letelier, Pedro Sánchez, Isidro Ramos:
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. 31-45
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BozzanoDMMZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BozzanoDMMZ99
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise. 46-60

Innovative Applications I

- view
  authority control:
- export record
  dblp key:
  - conf/padl/Elliott99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Elliott99
Conal Elliott:
From Functional Animation to Sprite-Based Display. 61-75
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Kahl99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Kahl99
Wolfram Kahl:
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. 76-90
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PetersonHE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PetersonHE99
John Peterson, Paul Hudak, Conal Elliott:
Lambda in Motion: Controlling Robots with Haskell. 91-105

Implementation

- view
  authority control:
- export record
  dblp key:
  - conf/padl/DemoenS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/DemoenS99
Bart Demoen, Konstantinos Sagonas:
CHAT: The Copy-Hybrid Approach to Tabling. 106-121
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SilvaDBC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SilvaDBC99
Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa:
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. 122-136
- view
  authority control:
- export record
  dblp key:
  - conf/padl/RochaSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/RochaSC99
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Or-Parallelism within Tabling. 137-151

Declarative Query Processing

- view
  authority control:
- export record
  dblp key:
  - conf/padl/MattssonNW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MattssonNW99
Håkan Mattsson, Hans Nilsson, Claes Wikström:
Mnesia - A Distributed Robust DBMS for Telecommunications Applications. 152-163
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SiddabathuniDU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SiddabathuniDU99
Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban:
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. 164-178
- view
  authority control:
- export record
  dblp key:
  - conf/padl/HakliNTU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/HakliNTU99
Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen:
Implementing a Declarative String Query Language with String Restructuring. 179-195

Systems Applications

- view
  authority control:
- export record
  dblp key:
  - conf/padl/MeijerLH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MeijerLH99
Erik Meijer, Daan Leijen, James Hook:
Client-Side Web Scripting with HaskellScript. 196-210
- view
  authority control:
- export record
  dblp key:
  - conf/padl/JefferyDS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/JefferyDS99
David Jeffery, Tyson Dowd, Zoltan Somogyi:
MCORBA: A CORBA Binding for Mercury. 211-227

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/padl/Xi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Xi99
Hongwei Xi:
Dead Code Elimination through Dependent Types. 228-242
- view
  authority control:
- export record
  dblp key:
  - conf/padl/FerreiraD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/FerreiraD99
Michel Ferreira, Luís Damas:
Multiple Specialization of WAM Code. 243-258
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Vasconcelos99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Vasconcelos99
Wamberto Weber Vasconcelos:
A Flexible Framework for Dynamic and Static Slicing of Logic Programs. 259-274

Innovative Applications II

- view
  authority control:
- export record
  dblp key:
  - conf/padl/BansalB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BansalB99
Arvind K. Bansal, Peer Bork:
Applying Logic Programming to Derive Novel Functional Information of Genomes. 275-289
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Watson99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Watson99
Richard Watson:
An Application of Action Theory to the Space Shuttle. 290-304
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SoininenN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SoininenN99
Timo Soininen, Ilkka Niemelä:
Developing a Declarative Rule Language for Applications in Product Configuration. 305-319

Constraint Programming

- view
  authority control:
- export record
  dblp key:
  - conf/padl/GoltzM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/GoltzM99
Hans-Joachim Goltz, Dirk Matzke:
University Timetabling Using Constraint Logic Programming. 320-334
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CarlssonKA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CarlssonKA99
Mats Carlsson, Per Kreuger, Emil Åström:
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. 335-349
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Lai99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Lai99
Claude Laï:
Using Constraints in Local Proofs for CLP Debugging. 350-359

Declarative Languages and Software Engineering (Invited)

- view
  authority control:
- export record
  dblp key:
  - conf/padl/Schmidt99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Schmidt99
David A. Schmidt:
A Return to Elegance: The Reapplication of Declarative Notation to Software Design. 360-364
- view
  authority control:
- export record
  dblp key:
  - conf/padl/WallaceS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/WallaceS99
Mark Wallace, Joachim Schimpf:
ECLiPSe: Declarative Specification and Scaleable Implementation. 365-366

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.