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.)
Resource Information
The item Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- 1 online resource (x, 407 pages)
- 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
- Isbn
- 9783540363880
- 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.)
- 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
- 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.)
- 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.)
- 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 Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Practical-aspects-of-declarative-languages--5th/1OtOqsa1Uws/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Practical-aspects-of-declarative-languages--5th/1OtOqsa1Uws/">Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Practical-aspects-of-declarative-languages--5th/1OtOqsa1Uws/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Practical-aspects-of-declarative-languages--5th/1OtOqsa1Uws/">Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings, Veronica Dahl, Philip Wadler (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>