Entry Ancona:2007:PCT 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{Ancona:2007:PCT,
  author =       "D. Ancona and C. Anderson and F. Damiani and S.
                 Drossopoulou and P. Giannini and E. Zucca",
  title =        "A provenly correct translation of {Fickle} into
                 {Java}",
  journal =      j-TOPLAS,
  volume =       "29",
  number =       "2",
  pages =        "13:1--13:67",
  month =        apr,
  year =         "2007",
  CODEN =        "ATPSDT",
  DOI =          "http://doi.acm.org/10.1145/1216374.1216381",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Sat Apr 14 11:13:22 MDT 2007",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  abstract =     "We present a translation from Fickle, a small
                 object-oriented language allowing objects to change
                 their class at runtime, into Java. The translation is
                 provenly correct in the sense that it preserves the
                 static and dynamic semantics. Moreover, it is
                 compatible with separate compilation, since the
                 translation of a Fickle class does not depend on the
                 implementation of used classes. Based on the formal
                 system, we have developed an implementation.

                 The translation turned out to be a more subtle problem
                 than we expected. In this article, we discuss four
                 possible approaches we considered for the design of the
                 translation and to justify our choice, we present
                 formally the translation and proof of preservation of
                 the static and dynamic semantics, and discuss the
                 prototype implementation. Moreover, we outline an
                 alternative translation based on generics that avoids
                 most of the casts (but not all) needed in the previous
                 translation.

                 The language Fickle has undergone and is still
                 undergoing several phases of development. In this
                 article we are discussing the translation of
                 Fickle$_{\rm II}$.",
  acknowledgement = ack-nhfb,
  articleno =    "13",
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
}

Related entries