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: Programs as data objects
    sub title: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
  name:
    name part: PADO 2001 (2001 : Aarhus, Denmark)
    role:
      role term: creator
  name:
    name part: Danvy, Olivier.
  name:
    name part: Filinski, Andrzej
    name part: 1965-
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Kongress-Arhus-2001.
  genre: Conference proceedings.
  genre: Arhus (2001)
  origin info:
    place:
      place term: gw
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (viii, 277 pages) : illustrations
  table of contents: Program Analysis for Implicit Computational Complexity / Neil D. Jones -- Deriving Preconditions for Array Bound Check Elimination / Wei-Ngan Chin, Siau-Cheng Khoo and Dana N. Xu -- Type Systems for Useless-Variable Elimination / Adam Fischbach and John Hannan -- Boolean Constraints for Binding-Time Analysis / Kevin Glynn, Peter J. Stuckey and Martin Sulzmann / [and others] -- Constraint Abstractions / Jorgen Gustavsson and Josef Svenningsson -- Implementing Circularity Using Partial Evaluation / Julia L. Lawall -- Combining Forward and Backward Analyses of Temporal Properties / Damien Masse -- Numerical Power Analysis / Isabella Mastroeni -- Run-Time Bytecode Specialization / Hidehiko Masuhara and Akinori Yonezawa.
  note: Olivier Danvy, Andrzej Filinski (eds.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer programs
    genre: Congresses
  subject:
    topic: Data structures (Computer science)
    genre: Congresses
  subject:
    topic: analyse programme
  subject:
    topic: langage à objets
  subject:
    topic: transformation programme
  subject:
    topic: sémantique programme
  subject:
    topic: théorie programmation
  subject:
    topic: Logiciels
    topic: Congrès
  subject:
    topic: Structures de données (Informatique)
    topic: Congrès
  subject:
    topic: Computer programs
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Datastructuren
  subject:
    topic: Software
  subject:
    topic: Logiciels
    topic: Congrès
  subject:
    topic: Structures de données (informatique)
    topic: Congrès
  subject:
    topic: Kongress
  subject:
    topic: Programmanalyse
  subject:
    topic: Programmierung
  subject:
    topic: Programmtransformation
  classification: QA76.751 .P33 2001
  classification: 005.3
  classification: 54.10
  classification: 54.50
  classification: DAT 399f
  classification: DAT 554f
  classification: SS 4800
  related item:
    title info:
      title: Lecture notes in computer science ; 2053
  identifier: 3540420681
  identifier: 9783540420682
  identifier: 2001031296
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 010405
    record change date: 20190325101318.0
    record identifier: in00001619005
    language of cataloging:
      language term: eng