Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st PADL 1999: San Antonio, Texas, USA
- 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
- Graeme E. Moss, Colin Runciman:
Automated Benchmarking of Functional Data Structures. 1-15 - Marco Cadoli, Luigi Palopoli
, Andrea Schaerf, Domenico Vasile:
NP-SPEC: An Executable Specification Language for Solving All Problems in NP. 16-30 - Patricio Letelier, Pedro Sánchez, Isidro Ramos:
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. 31-45 - Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise. 46-60
Innovative Applications I
- Conal Elliott:
From Functional Animation to Sprite-Based Display. 61-75 - Wolfram Kahl:
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. 76-90 - John Peterson, Paul Hudak, Conal Elliott:
Lambda in Motion: Controlling Robots with Haskell. 91-105
Implementation
- Bart Demoen, Konstantinos Sagonas:
CHAT: The Copy-Hybrid Approach to Tabling. 106-121 - 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 - Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Or-Parallelism within Tabling. 137-151
Declarative Query Processing
- Håkan Mattsson, Hans Nilsson, Claes Wikström:
Mnesia - A Distributed Robust DBMS for Telecommunications Applications. 152-163 - Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban:
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. 164-178 - Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen:
Implementing a Declarative String Query Language with String Restructuring. 179-195
Systems Applications
- Erik Meijer, Daan Leijen, James Hook:
Client-Side Web Scripting with HaskellScript. 196-210 - David Jeffery, Tyson Dowd, Zoltan Somogyi:
MCORBA: A CORBA Binding for Mercury. 211-227
Analysis
- Hongwei Xi:
Dead Code Elimination through Dependent Types. 228-242 - Michel Ferreira, Luís Damas:
Multiple Specialization of WAM Code. 243-258 - Wamberto Weber Vasconcelos:
A Flexible Framework for Dynamic and Static Slicing of Logic Programs. 259-274
Innovative Applications II
- Arvind K. Bansal, Peer Bork:
Applying Logic Programming to Derive Novel Functional Information of Genomes. 275-289 - Richard Watson:
An Application of Action Theory to the Space Shuttle. 290-304 - Timo Soininen, Ilkka Niemelä:
Developing a Declarative Rule Language for Applications in Product Configuration. 305-319
Constraint Programming
- Hans-Joachim Goltz, Dirk Matzke:
University Timetabling Using Constraint Logic Programming. 320-334 - Mats Carlsson, Per Kreuger, Emil Åström:
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. 335-349 - Claude Laï:
Using Constraints in Local Proofs for CLP Debugging. 350-359
Declarative Languages and Software Engineering (Invited)
- David A. Schmidt:
A Return to Elegance: The Reapplication of Declarative Notation to Software Design. 360-364 - Mark Wallace, Joachim Schimpf:
ECLiPSe: Declarative Specification and Scaleable Implementation. 365-366
a service of 
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.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
