Entry Nead:1979:SCS from sigplan1970.bib

Last update: Fri Jun 20 02:11:11 MDT 2008                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{Nead:1979:SCS,
  author =       "James M. Nead",
  title =        "On the semantics of control statements",
  journal =      j-SIGPLAN,
  volume =       "14",
  number =       "11",
  pages =        "84--96",
  month =        nov,
  year =         "1979",
  CODEN =        "SINODQ",
  DOI =          "http://doi.acm.org/10.1145/988056.988065",
  ISSN =         "0362-1340",
  bibdate =      "Wed Jun 18 16:11:19 MDT 2008",
  bibsource =    "http://portal.acm.org/",
  abstract =     "The problem of programming language semantics is
                 viewed from a new perspective, in which the notion of
                 process (defined as a partial ordering of events) is
                 taken as fundamental and the notion of state is
                 derivative. This type of semantics is seen to be
                 compatible with the algebraic definition of data types.
                 A statement of a program is taken to be an axiom of an
                 abstract process, which in turn represents a real
                 execution of the program. The method is found to be
                 useful in discussing the nature of program control,
                 especially concurrent processes.",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6140D
                 (High level languages)",
  corpsource =   "Univ. of Minnesota, Minneapolis, MN, USA",
  keywords =     "control statements; programming language; programming
                 languages; programming theory; semantics",
  treatment =    "T Theoretical or Mathematical",
}

Related entries