Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19 20, 2002 : proceedings
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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2257 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, Shriram Krishnamurthi, C.R. Ramakrishnan (eds.), Berlin, Springer, 2002, 1 vol. (VIII-349 p.), Lecture notes in computer science, 3-540-43092-X • Practical Aspects of Declarative Languages, Texte imprimé, 9783662207550 |
Inhaltsangabe:
- 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.