Geoffrey Smith, Dennis Volpano  Home/Search
Context Related
| sri.com/~volpano/language...esop96.ps.Z navy.mil/research/languag...esop96.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/~volpano/languages/pap... (more) From: navy.mil/research/languages/pa... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Advanced polymorphic type systems have come to play an important role in the world of functional programming. But, curiously, these type systems have so far had little impact upon widely-used imperative programming languages like C and C++. We show that ML-style polymorphism can be integrated smoothly into a dialect of C, which we call Polymorphic C. It has the same pointer operations as C, including the address-of operator &, the dereferencing operator , and pointer arithmetic. Our type... (Update)
Context of citations to this paper: More
...infers where to put open statements and how to rewrite terms using the bindings that these statements introduce. Smith and Volpano [12, 13] describe an integration of universal types into C. Their technical development is somewhat similar to ours, but they leave the...
...it is less clear for lower level languages like C and assembler. For example, we give a type system for a polymorphic dialect of C in [30, 32]. The type soundness theorem basically says that executing a well typed program either succeeds, producing a value of the appropriate...
Cited by: More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (Correct)
Active bibliography (related documents): More All
0.2: A Type-Based Approach to Program Security - Volpano, Smith (1997) (Correct)
0.2: Landscapes of the Maximal Constraint Satisfaction Problem - Belaidouni, Hao (Correct)
0.2: An Initial-Algebra Approach to Directed Acyclic Graphs - Gibbons (1995) (Correct)
Similar documents based on text: More All
0.8: A Type Soundness Proof for Variables in LCF ML - Volpano, Smith (1995) (Correct)
0.5: Polymorphic Typing of Variables and References - Smith, Volpano (Correct)
0.4: Language Issues in Mobile Program Security - Volpano, Smith (1998) (Correct)
Related documents from co-citation: More All
7: Polymorphic components for monomorphic languages (context) - Grosch, Snelting - 1993
7: Type inference for polymorphic references (context) - Tofte - 1990
6: Detecting shared representations using type inference (context) - O'Callahan, Jackson - 1995
BibTeX entry: (Update)
Smith, G. and Volpano, D., Towards an ML-style Polymorphic Type System for C, to appear at 1996 European Symp. on Prog., Linkoping Sweden, 22-24 April 1996. http://citeseer.ist.psu.edu/smith96towards.html More
@inproceedings{ smith96towards,
author = "Geoffrey Smith and Dennis M. Volpano",
title = "Towards an {ML}-Style Polymorphic Type System for C",
booktitle = "European Symposium on Programming",
pages = "341-355",
year = "1996",
url = "citeseer.ist.psu.edu/smith96towards.html" }
Citations (may not include all citations):476 Programming Language (context) - Kernighan, Ritchie et al. - 1978
343 Principal Type Schemes for Functional Programs (context) - Damas, Milner - 1982
224 Semantics of Programming Languages: Structures and Technique.. (context) - Gunter - 1992
186 Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett - 1995
138 Type Inference for Polymorphic References (context) - Tofte - 1990
52 A Simplified Account of Polymorphic References - Harper - 1994
34 Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
5 A Type Soundness Proof for Variables in LCF ML - Volpano, Smith - 1995
4 This article was processed using the L a T E X macro package.. (context) - Wright - 1995
3 A Typed-Based Compiler for Standard ML (context) - Shao, Appel - 1995
2 th ACM Symposium on Principles of Programming Languages (context) - Leroy, Weis - 1991
2 th ACM Symposium on Principles of Programming Languages (context) - Leroy - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csl.sri.com/~volpano/languages/papers/atsc/): More
Haskell-style Overloading is NP-hard - Volpano (Correct)
Probabilistic Noninterference in a Concurrent Language - Volpano, Smith (1998) (Correct)
Secure Flow Typing - Volpano, Irvine (1997) (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