Entry Berzins:1994:SMS 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{Berzins:1994:SMS,
  author =       "V. Berzins",
  title =        "Software Merge: Semantics of Combining Changes to
                 Programs",
  journal =      j-TOPLAS,
  volume =       "16",
  number =       "6",
  pages =        "1875--1903",
  month =        nov,
  year =         "1994",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Fri Jan 5 07:58:42 MST 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/197403.html",
  abstract =     "We present a language-independent semantic model of
                 the process of combining changes to programs. This
                 model extends the domains used in denotational
                 semantics (complete partial orders) to Boolean
                 algebras, and represents incompatible modifications as
                 well as compatible extensions. The model is used to
                 define the intended semantics of change-merging
                 operations on programs and to establish some general
                 properties of software merging. We determine conditions
                 under which changes to subprograms of a software system
                 can be merged independently and illustrate cases where
                 this is not possible.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "languages; theory; verification",
  subject =      "{\bf F.3.2}: Theory of Computation, LOGICS AND
                 MEANINGS OF PROGRAMS, Semantics of Programming
                 Languages, Denotational semantics. {\bf D.2.7}:
                 Software, SOFTWARE ENGINEERING, Distribution and
                 Maintenance, Enhancement. {\bf D.2.7}: Software,
                 SOFTWARE ENGINEERING, Distribution and Maintenance,
                 Version control. {\bf D.3.1}: Software, PROGRAMMING
                 LANGUAGES, Formal Definitions and Theory, Semantics.
                 {\bf I.2.2}: Computing Methodologies, ARTIFICIAL
                 INTELLIGENCE, Automatic Programming, Program
                 modification. {\bf I.2.2}: Computing Methodologies,
                 ARTIFICIAL INTELLIGENCE, Automatic Programming, Program
                 synthesis. {\bf I.2.2}: Computing Methodologies,
                 ARTIFICIAL INTELLIGENCE, Automatic Programming, Program
                 transformation.",
}

Related entries