Practical Aspects of Declarative Languages說明性語言的實用問題/會議錄

內(nèi)容概要

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.

書籍目錄

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

圖書封面

評論、評分、閱讀與下載

---

    Practical Aspects of Declarative Languages說明性語言的實用問題/會議錄 PDF格式下載

---