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: ESOP '88
    sub title: 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
  name:
    name part: European Symposium on Programming 1988 : Nancy, France)
    role:
      role term: creator
  name:
    name part: Ganzinger, H. (Harald)
    name part: 1950-
  name:
    name part: SpringerLink (Online service)
  name:
    name part: Colloquium on Trees in Algebra and Programming 1988 : Nancy, France). CAAP '88.
    role:
      role term: CAAP '88.
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Electronic resources (Books)
  genre: Conference proceedings.
  genre: Congressen (vorm)
  origin info:
    place:
      place term: gw
    date issued: 1988
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (vi, 379 pages) : illustrations.
  abstract: The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.
  table of contents: Invited Speakers -- Program Development and Verification -- Algebraic Specification and Type Concepts -- Language Concepts -- Implementation of Programming Languages -- Systems Exhibition -- Author Index.
  note: H. Ganzinger, ed.
  note: Held in conjunction with CAAP '88.
  note: Electronic resource.
  note: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
  note: digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
  note: Includes bibliographical references and index.
  subject:
    topic: Computer programming
    genre: Congresses
  subject:
    topic: Programming languages (Electronic computers)
    genre: Congresses
  subject:
    topic: Electronic digital computers
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Langages de programmation
    genre: Congrès
  subject:
    topic: Programmation (Informatique)
    genre: Congrès
  subject:
    topic: Electronic books
  subject:
    topic: Computer programming
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Programmeren (computers)
  subject:
    topic: Electronic books
  classification: QA76.6 .E976 1988
  classification: 005
  classification: 54.50
  related item:
    title info:
      title: ESOP '88
    name:
      name part: European Symposium on Programming (2nd : 1988 : Nancy, France).
    origin info:
      publisher: Berlin ; New York : Springer-Verlag, ©1988
    identifier: (OCoLC)812619469
  related item:
    title info:
      title: Lecture notes in computer science ; 300
  identifier: 9783540389415 (electronic bk.)
  identifier: 3540389415 (electronic bk.)
  identifier: 0387190279
  identifier: 9780387190273
  identifier: 3540190279
  identifier: 9783540190271
  identifier: 88004633
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 880225
    record change date: 20190325090645.0
    record identifier: in00000017971
    language of cataloging:
      language term: eng