hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Gradual typing for objects
University of Colorado, Boulder, CO 80309, United States.
Rice University, Houston, TX 77005, United States.
2007 (English)In: ECOOP 2007 – Object-Oriented Programming: 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / [ed] Erik Ernst, Berlin: Springer Berlin/Heidelberg, 2007, 2-27 p.Conference paper, Published paper (Refereed)
Abstract [en]

Static and dynamic type systems have well-known strengthsand weaknesses. In previous work we developed a gradual type system fora functional calculus named λ?→. Gradual typing provides the benefits ofboth static and dynamic checking in a single language by allowing theprogrammer to control whether a portion of the program is type checkedat compile-time or run-time by adding or removing type annotations onvariables. Several object-oriented scripting languages are preparing toadd static checking. To support that work this paper develops Ob?<:,a gradual type system for object-based languages, extending the Ob<:calculus of Abadi and Cardelli. Our primary contribution is to show thatgradual typing and subtyping are orthogonal and can be combined in aprincipled fashion. We also develop a small-step semantics, provide amachine-checked proof of type safety, and improve the space efficiencyof higher-order casts.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2007. 2-27 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4609
Keyword [en]
Formal languages, Semantics
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20966DOI: 10.1007/978-3-540-73589-2_2ISI: 000249124000001Scopus ID: 2-s2.0-38149131740ISBN: 978-3-540-73588-5 ISBN: 978-3-540-73589-2 OAI: oai:DiVA.org:hh-20966DiVA: diva2:588261
Conference
21st European Conference on Object-Oriented Programming (ECOOP 2007), Tech Univ Berlin, Berlin, GERMANY, JUL 30-AUG 03, 2007
Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2013-02-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 85 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf