#### Filter Results:

- Full text PDF available (21)

#### Publication Year

1975

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- POPL
- 1999

Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency common to these settings… (More)

- Nevin Heintze, Jon G. Riecke
- POPL
- 1998

The SLam calculus is a typed ¿-calculus that maintains security information as well as type information. The type system propagates security information for each object in four forms: the object's… (More)

- Anindya Basu, Jon G. Riecke
- SIGCOMM
- 2001

We study the stability of the OSPF protocol under steady state and perturbed conditions. We look at three indicators of stability, namely, (a) network convergence times, (b) routing load on… (More)

- Carl A. Gunter, Didier Rémy, Jon G. Riecke
- FPCA
- 1995

We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be themselves used to… (More)

- Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- TACS
- 2001

- Peter W. O'Hearn, Jon G. Riecke
- Inf. Comput.
- 1995

Sieber has described a model of PCF consisting of continuous functions that are invariant under certain ((nitary) logical relations, and shown that it is fully abstract for closed terms of up to… (More)

- Jon G. Riecke
- POPL
- 1991

We examine the problem of finding fully abstract translations between programming languages, i.e., translations that preserve code equivalence and nonequivalence. We present three examples of fully… (More)

- John H. Reppy, Jon G. Riecke
- PLDI
- 1996

We propose a new approach to adding objects to Standard ML (SML) based on explicit declarations of object types, object constructors, and subtyping relationships, with a generalization of the SML… (More)

- Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- LICS
- 1999

We show how to translate the region calculus of Tofte and Talpin, a typed lambda calculus that can statically delimit the lifetimes of objects, into an extension of the polymorphic lambda calculus… (More)

- Jon G. Riecke, Christopher A. Stone
- Inf. Comput.
- 2002

We describe an object calculus allowing object extension and structural subtyping. Each object has a “dictionary” to mediate the connection between names and components. This extra indirection yields… (More)