Borrow it
Coverart for item
The Resource Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings, Enrico Pontelli, Vítor Santos Costa (eds.)

Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings, Enrico Pontelli, Vítor Santos Costa (eds.)

Creator
Contributor
Summary
This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications
Language
eng
Work
Publication
Extent
1 online resource.
Note
Title from title screen (viewed Jan. 4, 2001)
Contents
  • First class patterns / M. Tullsen
  • Parallel functional reactive programming / J. Peterson, V. Trifonov, and A. Serjantov
  • Out-of-core functional programming with type-based primitives / T.-R. Chuang and S.-C. Mu
  • A functional logic programming approach to graphical user interfaces / M. Hanus
  • Using static analysis to compile non-sequential functional logic programs / J. Mariño and J.J. Moreno-Navarro
  • GNU Prolog : beyond compiling Prolog to C / D. Diaz and P. Codognet
  • Heap garbage collection in XSB : practice and experience / B. Demoen and K. Sagonas
  • Implementation of a linear tabling mechanism / N.-F. Zhou [and others]
  • How to incorporate negation in a Prolog compiler / J.J. Moreno-Navarro and S. Muñoz-Hernández
  • A logic-based information system / S.P. Abreu
  • HIPPO : a declarative graphical modeling system / C.J. Hinde, R.J. Reader, and K. Phelps
  • Calculating a new data mining algorithm for market basket analysis / Z. Hu, W.-N. Chin, and M. Takeichi
  • A toolkit for constraint-based inference engines / T.Y. Chew, M. Henz, and K.B. Ng
  • -- CLIP : a CLP (intervals) dialect for metalevel constraint solving / T.J. Hickey
  • Programming deep concurrent constraint combinators / C. Schulte
  • Labeling and partial local consistency for soft constraint programming / S. Bistarelli [and others]
  • Transformation-by-example for XML / S. Krishnamurthi, K.E. Gray, and P.T. Graunke
  • Modeling HTML in Haskell / P. Thiemann
  • A logic programming approach to supporting the entries of XML documents in an object database / C.-L. Yeh
  • A hybrid approach for solving large scale crew scheduling problems / T.H. Yunes, A.V. Moura, and C.C. de Souza
  • Knowledgesheet : a graphical spreadsheet interface for interactively developing a class of constraint programs / G. Gupta and S.F. Akhter
  • Current trends in logic programming : prospects and promises / I.V. Ramakrishnan
  • Production-quality proof-carrying code / P. Lee
Isbn
9783540465843
Instance
Label
Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
Title
Practical aspects of declarative languages
Title remainder
second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
Statement of responsibility
Enrico Pontelli, Vítor Santos Costa (eds.)
Title variation
PADL 2000, practical aspects of declarative languages
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications
Member of
Cataloging source
CIN
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
LC call number
QA76.7
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
PADL 2000
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1967-
  • 1961-
http://library.link/vocab/relatedWorkOrContributorName
  • Pontelli, Enrico
  • Santos Costa, Vítor
Series statement
Lecture notes in computer science,
Series volume
1753
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Declarative programming
  • Declarative programming
  • Programming languages (Electronic computers)
Label
Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings, Enrico Pontelli, Vítor Santos Costa (eds.)
Instantiates
Publication
Note
Title from title screen (viewed Jan. 4, 2001)
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
First class patterns / M. Tullsen -- Parallel functional reactive programming / J. Peterson, V. Trifonov, and A. Serjantov -- Out-of-core functional programming with type-based primitives / T.-R. Chuang and S.-C. Mu -- A functional logic programming approach to graphical user interfaces / M. Hanus -- Using static analysis to compile non-sequential functional logic programs / J. Mariño and J.J. Moreno-Navarro -- GNU Prolog : beyond compiling Prolog to C / D. Diaz and P. Codognet -- Heap garbage collection in XSB : practice and experience / B. Demoen and K. Sagonas -- Implementation of a linear tabling mechanism / N.-F. Zhou [and others] -- How to incorporate negation in a Prolog compiler / J.J. Moreno-Navarro and S. Muñoz-Hernández -- A logic-based information system / S.P. Abreu -- HIPPO : a declarative graphical modeling system / C.J. Hinde, R.J. Reader, and K. Phelps -- Calculating a new data mining algorithm for market basket analysis / Z. Hu, W.-N. Chin, and M. Takeichi -- A toolkit for constraint-based inference engines / T.Y. Chew, M. Henz, and K.B. Ng -- -- CLIP : a CLP (intervals) dialect for metalevel constraint solving / T.J. Hickey -- Programming deep concurrent constraint combinators / C. Schulte -- Labeling and partial local consistency for soft constraint programming / S. Bistarelli [and others] -- Transformation-by-example for XML / S. Krishnamurthi, K.E. Gray, and P.T. Graunke -- Modeling HTML in Haskell / P. Thiemann -- A logic programming approach to supporting the entries of XML documents in an object database / C.-L. Yeh -- A hybrid approach for solving large scale crew scheduling problems / T.H. Yunes, A.V. Moura, and C.C. de Souza -- Knowledgesheet : a graphical spreadsheet interface for interactively developing a class of constraint programs / G. Gupta and S.F. Akhter -- Current trends in logic programming : prospects and promises / I.V. Ramakrishnan -- Production-quality proof-carrying code / P. Lee
Control code
45663431
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783540465843
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-46584-7
Specific material designation
remote
System control number
(OCoLC)45663431
Label
Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings, Enrico Pontelli, Vítor Santos Costa (eds.)
Publication
Note
Title from title screen (viewed Jan. 4, 2001)
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
First class patterns / M. Tullsen -- Parallel functional reactive programming / J. Peterson, V. Trifonov, and A. Serjantov -- Out-of-core functional programming with type-based primitives / T.-R. Chuang and S.-C. Mu -- A functional logic programming approach to graphical user interfaces / M. Hanus -- Using static analysis to compile non-sequential functional logic programs / J. Mariño and J.J. Moreno-Navarro -- GNU Prolog : beyond compiling Prolog to C / D. Diaz and P. Codognet -- Heap garbage collection in XSB : practice and experience / B. Demoen and K. Sagonas -- Implementation of a linear tabling mechanism / N.-F. Zhou [and others] -- How to incorporate negation in a Prolog compiler / J.J. Moreno-Navarro and S. Muñoz-Hernández -- A logic-based information system / S.P. Abreu -- HIPPO : a declarative graphical modeling system / C.J. Hinde, R.J. Reader, and K. Phelps -- Calculating a new data mining algorithm for market basket analysis / Z. Hu, W.-N. Chin, and M. Takeichi -- A toolkit for constraint-based inference engines / T.Y. Chew, M. Henz, and K.B. Ng -- -- CLIP : a CLP (intervals) dialect for metalevel constraint solving / T.J. Hickey -- Programming deep concurrent constraint combinators / C. Schulte -- Labeling and partial local consistency for soft constraint programming / S. Bistarelli [and others] -- Transformation-by-example for XML / S. Krishnamurthi, K.E. Gray, and P.T. Graunke -- Modeling HTML in Haskell / P. Thiemann -- A logic programming approach to supporting the entries of XML documents in an object database / C.-L. Yeh -- A hybrid approach for solving large scale crew scheduling problems / T.H. Yunes, A.V. Moura, and C.C. de Souza -- Knowledgesheet : a graphical spreadsheet interface for interactively developing a class of constraint programs / G. Gupta and S.F. Akhter -- Current trends in logic programming : prospects and promises / I.V. Ramakrishnan -- Production-quality proof-carrying code / P. Lee
Control code
45663431
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9783540465843
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-46584-7
Specific material designation
remote
System control number
(OCoLC)45663431

Subject

Genre

Member of

Library Locations

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

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...