Practical Aspects of Declarative Languages
Subtitle: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 255
ISBN-13: 9783540222538
Subjects: Programming languages; Programming - Software Development; Computers - General Information; Computers; Semantics; Computer Books: Languages; Programming languages (Electronic computers); Programming Languages - General; Computer Science; General; Computers / Programming Languages / General; Congresses; Congráes; Langages de programmation; Programming languages (Electro; Sâemantique
First sentence: The advent of the personal computer has focussed attention on the consumer, the person who buys and makes use of the computer.
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>