Dan Grossman  Home/Search
Context Related
| cornell.edu/home/daniel...exists_imp.ps From: cornell.edu/home/danieljg/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We integrate existential types into a strongly typed C-like language. In particular, we show how a bad combination of existential types, mutation, and aliasing can cause a subtle violation of type safety. We explore two independent ways to strengthen the type system to restore safety. One restricts the mutation of existential packages. The other restricts the types of aliases of existential packages. We use our framework to explain why other languages with existential types are safe. 1 (Update)
Context of citations to this paper: More
.... (2) State and Concurrency The integration of imperative features and polymorphism is an old and challenging technical problem [10, 16, 29]. Here we present a basic extension of ane polymorphic processes to stateful computation. Following [12] we add a constant process...
.... Sequential State The integration of imperative features and polymorphism in programming is an old and challenging technical problem [13, 22, 37]. Here we present a basic exten sion of afiqne polymorphic processes to stateful computation which is enough for our present purpose....
Cited by: More
A Type System for Coordinated Data Structures - Ringenburg, Grossman (2004) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Genericity and the π-Calculus - Berger, Honda, Yoshida (2002) (Correct)
Similar documents (at the sentence level):
7.6%: Quantified Types in an Imperative Language - Grossman (Correct)
Active bibliography (related documents): More All
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Language Issues in Mobile Program Security - Volpano, Smith (1998) (Correct)
0.1: Expressive Type Systems for Logic Programming Languages - Jeffery (2002) (Correct)
Similar documents based on text: More All
0.4: Region-Based Memory Management in Cyclone - Grossman, Morrisett, Jim.. (Correct)
0.3: Type-Safe Multithreading in Cyclone - Grossman (2003) (Correct)
0.2: Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2002) (Correct)
Related documents from co-citation: More All
5: Game-theoretic Analysis of Call-by-value Computation - Honda, Yoshida - 1997
4: Behavioral Equivalence in the Polymorphic PiCalculus - Pierce, Sangiorgi - 1997
4: abstraction and parametric polymorphism (context) - Reynolds - 1983
BibTeX entry: (Update)
D. Grossman. Existential types for imperative languages. In Eleventh European Symposium on Programming, pages 21--35, Grenoble, France, Apr. 2002. http://citeseer.ist.psu.edu/grossman02existential.html More
@inproceedings{ grossman02existential,
author = "Dan Grossman",
title = "Existential Types for Imperative Languages",
booktitle = "European Symposium on Programming",
pages = "21-35",
year = "2002",
url = "citeseer.ist.psu.edu/grossman02existential.html" }
Citations (may not include all citations):311 Abstract types have existential type (context) - Mitchell, Plotkin
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
138 Enforcing high-level protocols in low-level software - DeLine, ahndrich - 2001
138 Typed closure conversion - Minamide, Morrisett et al. - 1996
138 Type inference for polymorphic references (context) - Tofte - 1990
82 Alias types for recursive data structures - Walker, Morrisett
81 Information and Computation (context) - Bruce, Cardelli et al. - 1999
79 ACM Transactions on Programming Languages and Systems (context) - Morrisett, Walker et al. - 1999
79 CLU Reference Manual (context) - Liskov - 1984
16 Towards an ML-style polymorphic type system for C - rey, Dennis - 1996
16 Imperative programming with dependent types - Xi - 2000
14 A sound polymorphic type system for a dialect of C - rey, Dennis - 1998
14 The Denition of Standard ML (context) - Milner, Tofte et al. - 1997
14 A simplied account of polymorphic references (context) - Harper - 1994
6 Type classes with existential types - aufer - 1996
2 Existential types for imperative languages: Technical result.. (context) - Grossman
1 orgghcdoclatestsetbook user guide (context) - Haskell, Guide et al. - 2001
Documents on the same site (http://www.cs.cornell.edu/home/danieljg/):
Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2001) (Correct)
Formal Type Soundness for Cyclone's Region System - Grossman, Morrisett, Jim.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC