Entry Eifrig:1994:AOT from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | 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{Eifrig:1994:AOT,
  author =       "Jonathan Eifrig and Scott Smith and Valery Trifonov
                 and Amy Zwarico",
  title =        "Application of {OOP} Type Theory: State, Decidability,
                 Integration",
  journal =      j-SIGPLAN,
  volume =       "29",
  number =       "10",
  pages =        "16--30",
  month =        oct,
  year =         "1994",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:16:55 MST 2003",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
  classification = "C4240 (Programming and algorithm theory); C6110J
                 (Object-oriented programming); C6140D (High level
                 languages)",
  conflocation = "Portland, OR, USA; 23-27 Oct. 1994",
  conftitle =    "Ninth Annual Conference on Object-Oriented Programming
                 Systems, Languages, and Applications. OOPSLA '94",
  corpsource =   "Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore,
                 MD, USA",
  keywords =     "decidability; decidable; F-bounded quantification;
                 F-bounded view; global state; integration; object
                 oriented programming; object-oriented languages;
                 object-oriented programming; object-oriented
                 programming languages; soundness properties; state;
                 subclasses; subtypes; type systems; type theory;
                 type-checking",
  sponsororg =   "ACM",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

Related entries