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 »

120

click to vote

ESOP
2001
Springer

138views Programming Languages» more ESOP 2001»

Encoding Intensional Type Analysis

15 years 6 months 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 »

119

click to vote

ESOP
2001
Springer

132views Programming Languages» more ESOP 2001»

Typestate Checking of Machine Code

15 years 6 months 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 »

110

click to vote

ESOP
2001
Springer

124views Programming Languages» more ESOP 2001»

What Are Polymorphically-Typed Ambients?

15 years 6 months 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