Practical aspects of declarative languages : ; proceedings 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004
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,...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
3057 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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, 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Bharat Jayaraman (ed.), Berlin, Springer, 2004, 1 vol. (VIII-254 p.), Lecture notes in computer science, 3-540-22253-7 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662173664 |
Table des matières:
- 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.