Syndetics cover image
Image from Syndetics

Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / edited by Shriram Krishnamurthi, C.R. Ramakrishnan.

Contributor(s): Material type: TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Edition: 1st ed. 2002Description: VIII, 356 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540455875
Subject(s): DDC classification:
  • 005.45 23
Online resources:
Contents:
Invited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming’s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation.
Summary: 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.
No physical items for this record

Invited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming’s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation.

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.

Licensed e-book