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: MetaSoft Primer
    sub title: Towards a Metalanguage for Applied Denotational Semantics
  name:
    name part: Blikle, Andrzej.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 1987
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xiii, 140 pages.)
  abstract: The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.
  table of contents: Contents: Denotational Constructors -- An Example Definition of a Subset of Pascal -- References.
  note: by Andrzej Blikle.
  note: Electronic resource.
  note: Includes bibliographical references.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Logic design
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Metalanguage
  subject:
    topic: Computer software
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Software engineering
  classification: QA76.7-76.73
  classification: QA76.7 .B57 1987
  classification: 005.13
  classification: 54.10
  related item:
    title info:
      title: Lecture notes in computer science ; 288
  identifier: 9783540480433 (electronic bk.)
  identifier: 3540480439 (electronic bk.)
  identifier: 9783540186571
  identifier: 3540186573
  identifier: 3540480439
  identifier: 0387186573
  identifier: 9780387186573
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260422174440.4
    record identifier: in00003571676
    language of cataloging:
      language term: eng