Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings by Shriram KrishnamurthiPractical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings by Shriram Krishnamurthi

Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR…

byShriram KrishnamurthiEditorC.R. Ramakrishnan

Paperback | January 9, 2002

Pricing and Purchase Info

$125.55 online 
$150.50 list price save 16%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR…Format:PaperbackDimensions:356 pages, 23.5 × 15.5 × 0.1 inPublished:January 9, 2002Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354043092X

ISBN - 13:9783540430926

Look for similar items by category:

Reviews

Table of 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.