Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Krishnamurthi, Shriram (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ramakrishnan, C.R (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2257
• Θέματα: Programming languages (Electronic computers).; Computer science.; Computer programming.; Computer logic.; Software engineering.; Programming Languages, Compilers, Interpreters.; Computer Science, general.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.

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 sy...

Πίνακας περιεχομένων:

• 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.