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: third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
  name:
    name part: PADL 2001 (2001 : Las Vegas, Nev.)
    role:
      role term: creator
  name:
    name part: Ramakrishnan, I. V.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Congressen (vorm)
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (vii, 351 pages) : illustrations
  abstract: This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001. The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.
  note: I.V. Ramakrishnan (ed.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Programming languages (Electronic computers)
    topic: Semantics
    genre: Congresses
  subject:
    topic: Programmeertalen
  subject:
    topic: Programming languages (Electronic computers)
    topic: Semantics
  classification: QA76.7 .P32 2001
  classification: 005.13/1
  classification: 54.53
  related item:
    title info:
      title: Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
    identifier: (OCoLC)46314857
  related item:
    title info:
      title: Lecture notes in computer science ; 1990
  identifier: 9783540452416 (electronic bk.)
  identifier: 3540452419 (electronic bk.)
  identifier: 3540417680
  identifier: 9783540417682
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: COO
    record creation date: 010216
    record change date: 20260420212508.6
    record identifier: in00003512157
    language of cataloging:
      language term: eng