Coverart for item
The Resource Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings, Bharat Jayaraman, (ed.)

Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings, Bharat Jayaraman, (ed.)

Label
Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
Title
Practical aspects of declarative languages
Title remainder
6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
Statement of responsibility
Bharat Jayaraman, (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
COO
Dewey number
005.2
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.P32 2004
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
PADL 2004
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Jayaraman, Bharat
Series statement
Lecture notes in computer science,
Series volume
3057
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • REFERENCE
  • Programming languages (Electronic computers)
Label
Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings, Bharat Jayaraman, (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
60785726
Dimensions
unknown
Extent
1 online resource (viii, 254 pages)
Form of item
online
Isbn
9783540248361
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b98355
Other physical details
illustrations.
Publisher number
11014027
Specific material designation
remote
System control number
(OCoLC)60785726
Label
Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings, Bharat Jayaraman, (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
60785726
Dimensions
unknown
Extent
1 online resource (viii, 254 pages)
Form of item
online
Isbn
9783540248361
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b98355
Other physical details
illustrations.
Publisher number
11014027
Specific material designation
remote
System control number
(OCoLC)60785726

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...