Practical Aspects of Declarative Languages 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jayaraman, Bharat (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 3057
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.

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

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

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