Entry Abadi:1993:CS from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | 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{Abadi:1993:CS,
  author =       "Mart{\'\i}n Abadi and Leslie Lamport",
  title =        "Composing Specifications",
  journal =      j-TOPLAS,
  volume =       "15",
  number =       "1",
  pages =        "73--132",
  month =        jan,
  year =         "1993",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Fri Jan 5 07:58:42 MST 1996",
  bibsource =    "Compiler/TOPLAS.bib; Database/dbase.bib;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/151649.html",
  abstract =     "A rigorous modular specification method requires a
                 proof rule asserting that if each component behaves
                 correctly in isolation, then it behaves correctly in
                 concert with other components. Such a rule is subtle
                 because a component need behave correctly only when its
                 environment does, and each component is part of the
                 others' environments. We examine the precise
                 distinction between a system and its environment, and
                 provide the requisite proof rule when modules are
                 specified with safety and liveness properties.",
  acknowledgement = ack-nhfb # " and " # ack-pb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "theory; verification",
  subject =      "{\bf F.3.1}: Theory of Computation, LOGICS AND
                 MEANINGS OF PROGRAMS, Specifying and Verifying and
                 Reasoning about Programs, Specification techniques.
                 {\bf D.2.4}: Software, SOFTWARE ENGINEERING, Program
                 Verification, Correctness proofs. {\bf D.1.3}:
                 Software, PROGRAMMING TECHNIQUES, Concurrent
                 Programming.",
}

Related entries