Entry Giegerich:1990:SVC from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Giegerich:1990:SVC,
  author =       "Robert Giegerich",
  title =        "On the structure of verifiable code generator
                 specifications",
  journal =      j-SIGPLAN,
  volume =       "25",
  number =       "6",
  pages =        "1--8",
  month =        jun,
  year =         "1990",
  CODEN =        "SINODQ",
  ISBN =         "0-89791-364-7",
  ISBN-13 =      "978-0-89791-364-5",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Fri Feb 14 18:40:11 MST 1997",
  bibsource =    "Compendex database",
  abstract =     "We propose an algebraic style of code generator
                 specification. Our specifications treat target machine
                 properties and related subtasks of code generation on a
                 very abstract, nonoperational level. Emphasis is on
                 separate description of different concerns, in order to
                 reduce complexity. On this level of abstraction,
                 desirable properties of a code generator can be
                 expressed in a formal way. For example, code generation
                 itself is naturally modelled by solving a certain set
                 of equations. We show how state-of-the-art techniques
                 in equational theorem proving can be employed to
                 ascertain the completeness and correctness of the
                 specified code generator.",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ Bielefeld",
  affiliationaddress = "Bielefeld, West Ger",
  classification = "722; 723",
  conference =   "Proceedings of the ACM SIGPLAN '90 Conference on
                 Programming Language Design and Implementation",
  conferenceyear = "1990",
  journalabr =   "SIGPLAN Not",
  keywords =     "Code Generators; Computer Operating Systems ---
                 Program Compilers; Computer Programming Languages;
                 Design; Specification Languages",
  meetingaddress = "White Plains, NY, USA",
  meetingdate =  "Jun 20--22 1990",
  meetingdate2 = "06/20--22/90",
  sponsor =      "Assoc for Computing Machinery, Special Interest Group
                 on Programming Languages",
}

Related entries