rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Practical aspects of declarative languages
    sub title: second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings
  name:
    name part: PADL 2000 (2000 : Boston, Mass.)
    role:
      role term: creator
  name:
    name part: Pontelli, Enrico
    name part: 1967-
  name:
    name part: Santos Costa, Vítor
    name part: 1961-
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 2000
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 323 pages) : illustrations
  table of 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 ... [et al.] -- 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 ... [et al.] -- 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.
  note: Enrico Pontelli, Vítor Santos Costa (ed.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Programming languages (Electronic computers)
    topic: Semantics
    genre: Congresses
  subject:
    topic: Declarative programming
    genre: Congresses
  subject:
    topic: Declarative programming
  subject:
    topic: Programming languages (Electronic computers)
    topic: Semantics
  classification: QA76.7 P32 2000
  classification: 005.13/1
  related item:
    title info:
      title: Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings
    name:
      name part: PADL 2000 (2000 : Boston, Mass.)
    identifier: (OCoLC)43287043
  related item:
    title info:
      title: Lecture notes in computer science ; 1753
  identifier: 3540669922 (alk. paper)
  identifier: 9783540669920 (alk. paper)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: COO
    record creation date: 000106
    record change date: 20260422200544.7
    record identifier: in00003514799
    language of cataloging:
      language term: eng