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

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

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jayaraman, Bharat (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Lecture Notes in Computer Science, 3057
Springer eBook Collection.
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items