Sciweavers

Security-typed languages enforce conﬁdentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...

Steve Zdancewic, Andrew C. Myers

claim paper

Read More »

194

click to vote

ESOP
2001
Springer

138views Programming Languages» more ESOP 2001»

Encoding Intensional Type Analysis

16 years 13 days ago

Download www.cs.cornell.edu

Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...

Stephanie Weirich

claim paper

Read More »

219

click to vote

ESOP
2001
Springer

132views Programming Languages» more ESOP 2001»

Typestate Checking of Machine Code

16 years 13 days ago

Download ftp.cs.wisc.edu

We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...

Zhichen Xu, Thomas W. Reps, Barton P. Miller

claim paper

Read More »

208

click to vote

ESOP
2001
Springer

124views Programming Languages» more ESOP 2001»

What Are Polymorphically-Typed Ambients?

16 years 13 days ago

Download www.cs.bu.edu

The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...

Torben Amtoft, A. J. Kfoury, Santiago M. Peric&aac...

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence