Practical Aspects of Declarative Languages说明性语言的实用问题/会议录

书籍目录

An Algebraic Theory of Polymorphic Temporal MediaSupporting Decisions in Complex, Uncertain Domains with Declarative LanguagesA Typeful Approach to Object-Oriented Programming with Multiple InheritanceCompositional Model-Views with Generic Graphical User InterfacesAn Implementation of Session TypesUUXML: A Type-Preserving XML Schema-Haskell Data BindingImproved Compilation of Prolog to C Using Moded Types and Determinism InformationA Generic Persistence Model for (C)LP Systems(and Two Useful Implementations)Pruning in the Extended Andorra ModelUSA-Smart: Improving the Quality of Plans in Answer Set PlanningASP-PROLOG: A System for Reasoning about Answer Set Programs in PrologSimplifying Dynamic Programming via TablingSymbolic Execution of Behavioral RequirementsObserving Functional Logic ComputationsParametric Fortran - A for Customized GenericProgram GeneratorFortran ExtensionsTyping XHTML Web Applications in MLImplementing Cut Elimination: A Case Study of Simulating Dependent Types in HaskellAuthor Index

作者简介

This book constitutes the refereed proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages, PADL 2004, held in Dallas, Texas, USA in June 2004.    The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected for presentation. All current aspects of declarative programming are addressed.

 Practical Aspects of Declarative Languages说明性语言的实用问题/会议录下载