Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.
Author(s): Catherine Meadows (auth.), Shriram Krishnamurthi, C. R. Ramakrishnan (eds.)
Series: Lecture Notes in Computer Science 2257
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 356
Tags: Computer Science, general; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering
Using a Declarative Language to Build an Experimental Analysis Tool....Pages 1-2
How to Talk to Your Computer so that It Will Listen....Pages 3-8
Single-Threaded Objects in ACL2....Pages 9-27
Modeling Engineering Structures with Constrained Objects....Pages 28-46
Compiler Construction in Higher Order Logic Programming....Pages 47-63
Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project....Pages 64-82
Semantics-Based Filtering: Logic Programming’s Killer App....Pages 82-100
Linear Scan Register Allocation in a High-Performance Erlang Compiler....Pages 101-119
Compiling Embedded Programs to Byte Code....Pages 120-136
Typed Combinators for Generic Traversal....Pages 137-154
Event-Driven FRP....Pages 155-172
Adding Apples and Oranges....Pages 173-191
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms....Pages 192-208
A Better XML Parser through Functional Programming....Pages 209-224
Functional Approach to Texture Generation....Pages 225-242
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs....Pages 243-261
A High-Level Generic Interface to External Programming Languages for ECLiPSe....Pages 262-279
A Debugging Scheme for Declarative Equation Based Modeling Languages....Pages 280-298
Segment Order Preserving and Generational Garbage Collection for Prolog....Pages 299-317
Exploiting E.cient Control and Data Structures in Logic Programs....Pages 318-331
Suspending and Resuming Computations in Engines for SLG Evaluation....Pages 332-349
