#### Filter Results:

- Full text PDF available (34)

#### Publication Year

1987

2007

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

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 that can be captured within a single calculus, the Dependency Core Calculus (DCC), a small extension of Moggi's computational lambda calculus. To establish this… (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 creators and readers, and the object's indirect creators and readers (i.e., those agents who, through flow-of-control or the actions of other agents, can… (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 processors, and (c) the number of route flaps. We study these statistics under three different scenarios: (a) on networks that deploy OSPF with TE extensions, (b) 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 implement (simple) exceptions. We prove that well-typed terms never produce run-time type errors and give a module for implementing them in the latest version of… (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 third-order types. We show that one may achieve full abstraction at all types using a form of \Kripke logical relations" introduced by Jung and Tiuryn to… (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 case statement to a "typecase" on object types. The language, called Object ML (OML), has a type system that conservatively extends the SML type system, preserves… (More)

- Albert R. Meyer, Jon G. Riecke
- LISP and Functional Programming
- 1988

We show that two lambda calculus terms can be <italic>observationally congruent</italic> (<italic>i.e.</italic>, agree in all contexts) but their continuation-passing transforms may not be. We also show that two terms may be congruent in all untyped contexts but fail to be congruent in a calculus with call/cc operators. Hence, familiar reasoning about… (More)

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

We describe an object calculus that allows both extension of objects and full width subtyping (hiding arbitrary components). In contrast to other proposals, the types of our calculus do not mention “missing” methods. To avoid type unsoundness, the calculus mediates all interaction with objects via “dictionaries” that resemble the method dispatch tables in… (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 abstract translations: one from call-by-value to lazy PCF, one from call-by name to call-by-value PCF, and one from lazy to call-by-value PCF. The translations… (More)