Practical Aspects of Declarative Languages 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic,...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004, 2004
|
| Edition: | 1st ed. 2004 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- An Algebraic Theory of Polymorphic Temporal Media
- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages
- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
- Compositional Model-Views with Generic Graphical User Interfaces
- An Implementation of Session Types
- UUXML: A Type-Preserving XML Schema–Haskell Data Binding
- Improved Compilation of Prolog to C Using Moded Types and Determinism Information
- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)
- Pruning in the Extended Andorra Model
- USA-Smart: Improving the Quality of Plans in Answer Set Planning
- : A System for Reasoning about Answer Set Programs in Prolog
- Simplifying Dynamic Programming via Tabling
- Symbolic Execution of Behavioral Requirements
- Observing Functional Logic Computations
- Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions
- Typing XHTML Web Applications in ML
- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell