Coverart for item
The Resource Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)

Label
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
Title
Practical aspects of declarative languages
Title remainder
5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
Statement of responsibility
Veronica Dahl, Philip Wadler (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003. The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed
Member of
Cataloging source
COO
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.7
LC item number
.P32 2003
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
PADL 2003
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1950-
  • 1956-
http://library.link/vocab/relatedWorkOrContributorName
  • Dahl, Veronica
  • Wadler, Philip
Series statement
Lecture notes in computer science
Series volume
2562
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Programmeertalen
Label
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)
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
Invited Papers -- The Role of Declarative Languages in Mining Biological Databases -- The Continue Server (or, How I Administered PADL 2002 and 2003) -- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics -- Papers -- Data Mining the Yeast Genome in a Lazy Functional Language -- Non-monotonic Reasoning on Beowulf Platforms -- Datalog with Constraints: A Foundation for Trust Management Languages -- Web Programming with SMLserver -- An Integrated Information System Powered by Prolog -- JMatch: Iterable Abstract Pattern Matching for Java -- Sequence Quantification -- Roll: A Language for Specifying Die-Rolls -- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming -- Multi-agent Reactive Systems -- ACTILOG: An Agent Activation Language -- Logic Programs for Querying Inconsistent Databases -- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises -- A Logical Framework for Modelling eMAS -- SXSLT: Manipulation Language for XML -- Type-Based XML Processing in Logic Programming -- WAM Local Analysis -- Garbage Collection Algorithms for Java-Based Prolog Engines -- Solving Combinatorial Problems with a Constraint Functional Logic Language -- Logic Programs as Compact Denotations -- A Strafunski Application Letter -- Functional Hybrid Modeling -- Lambda Goes to Hollywood
Control code
51262956
Dimensions
unknown
Extent
1 online resource (x, 407 pages)
Form of item
online
Isbn
9783540363880
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-36388-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)51262956
Label
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)
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
Invited Papers -- The Role of Declarative Languages in Mining Biological Databases -- The Continue Server (or, How I Administered PADL 2002 and 2003) -- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics -- Papers -- Data Mining the Yeast Genome in a Lazy Functional Language -- Non-monotonic Reasoning on Beowulf Platforms -- Datalog with Constraints: A Foundation for Trust Management Languages -- Web Programming with SMLserver -- An Integrated Information System Powered by Prolog -- JMatch: Iterable Abstract Pattern Matching for Java -- Sequence Quantification -- Roll: A Language for Specifying Die-Rolls -- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming -- Multi-agent Reactive Systems -- ACTILOG: An Agent Activation Language -- Logic Programs for Querying Inconsistent Databases -- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises -- A Logical Framework for Modelling eMAS -- SXSLT: Manipulation Language for XML -- Type-Based XML Processing in Logic Programming -- WAM Local Analysis -- Garbage Collection Algorithms for Java-Based Prolog Engines -- Solving Combinatorial Problems with a Constraint Functional Logic Language -- Logic Programs as Compact Denotations -- A Strafunski Application Letter -- Functional Hybrid Modeling -- Lambda Goes to Hollywood
Control code
51262956
Dimensions
unknown
Extent
1 online resource (x, 407 pages)
Form of item
online
Isbn
9783540363880
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-36388-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)51262956

Library Locations

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