Entry Duggan:1999:DTD 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{Duggan:1999:DTD,
  author =       "Dominic Duggan",
  title =        "Dynamic Typing for Distributed Programming in
                 Polymorphic Languages",
  journal =      j-TOPLAS,
  volume =       "21",
  number =       "1",
  pages =        "11--45",
  month =        jan,
  year =         "1999",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Tue Sep 26 10:12:58 MDT 2000",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/citations/journals/toplas/1999-21-1/p11-duggan/",
  abstract =     "While static typing is widely accepted as being
                 necessary for secure program execution, dynamic typing
                 is also viewed as being essential in some applications,
                 particularly for distributed programming environments.
                 {\em Dynamics\/} have been proposed as a language
                 construct for dynamic typing, based on experience with
                 languages such as CLU, Cedar/Mesa, and Modula-3.
                 However proposals for incorporating dynamic typing into
                 languages with parametric polymorphism have serious
                 shortcomings. A new approach is presented to extending
                 polymorphic languages with dynamic typing. At the heart
                 of the approach is the use of dynamic type dispatch,
                 where polymorphic functions may analyze the structure
                 of their type arguments. This approach solves several
                 open problems with the traditional approach to adding
                 dynamic typing to polymorphic languages. An explicitly
                 typed language XMLdyn is presented; this language uses
                 {\em refinement kinds\/} to ensure that dynamic type
                 dispatch does not fail at run-time. {\em Safe
                 dynamics\/} are a new form of dynamics that use
                 refinement kinds to statically check the use of
                 run-time dynamic typing. Run-time errors are isolated
                 to a separate construct for performing run-time type
                 checks",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  generalterms = "Languages",
  keywords =     "dynamic typing; marshalling; parametric polmorphism;
                 static typing",
  subject =      "Software --- Programming Languages --- Formal
                 Definitions and Theory (D.3.1): {\bf Semantics};
                 Software --- Programming Languages --- Language
                 Constructs and Features (D.3.3): {\bf Data types and
                 structures}; Software --- Programming Techniques ---
                 Concurrent Programming (D.1.3)",
}

Related entries