Title: Practical Aspects of Declarative Languages
Description: Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings<br />Author: Bharat Jayaraman<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-22253-8<br /> DOI: 10.1007/b98355<br /><br />Table of Contents:<p></p><ul><li>An Algebraic Theory of Polymorphic Temporal Media
</li><li>Supporting Decisions in Complex, Uncertain Domains with Declarative Languages
</li><li>A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
</li><li>Compositional Model-Views with Generic Graphical User Interfaces
</li><li>An Implementation of Session Types
</li><li>UUXML: A Type-Preserving XML Schema–Haskell Data Binding
</li><li>Improved Compilation of Prolog to C Using Moded Types and Determinism Information
</li><li>A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)
</li><li>Pruning in the Extended Andorra Model
</li><li>USA-Smart: Improving the Quality of Plans in Answer Set Planning
</li><li>$\mathbb{ASP-PROLOG}$
</li><li>Simplifying Dynamic Programming via Tabling
</li><li>Symbolic Execution of Behavioral Requirements
</li><li>Observing Functional Logic Computations
</li><li>Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions
</li><li>Typing XHTML Web Applications in ML
</li><li>Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell</li></ul>
Subjects: Congresses, Semantics, Programming languages (Electronic computers)