MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stephen Weeks" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Understanding trust management systems
by Stephen Weeks — 2001 — In Proc. IEEE Symposium on Security and Privacy
…Understanding Trust Management Systems Stephen Weeks Strategic Technologies and Architectural…
Cited by 58 (0 self) – Add To MetaCart

MLton User Guide
by Stephen T. Weeks — 2000
…MLton User Guide Stephen T. Weeks sweeks@(email omitted); September 6, 2000 This document describes how…
Add To MetaCart

Analyzing Stores and References in a Parallel Symbolic Language
by Suresh Jagannathan , Stephen Weeks — 1994 — IN LFP
…Analyzing Stores and References in a Parallel Symbolic Language Suresh Jagannathan Stephen…
Cited by 22 (4 self) – Add To MetaCart

On the Orthogonality of Assignments and Procedures in Algol
by Stephen Weeks, Matthias Felleisen — 1992 — In Proc. 20th ACM Symposium on Principles of Programming Languages
…On the Orthogonality of Assignments and Procedures in Algol Stephen Weeks Matthias Felleisen…
Cited by 5 (0 self) – Add To MetaCart

A Unified Treatment of Flow Analysis in Higher-Order Languages
by Suresh Jagannathan, Stephen Weeks — 1995 — In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs
…A Unified Treatment of Flow Analysis in Higher-Order Languages Suresh Jagannathan Stephen Weeks…
Cited by 66 (4 self) – Add To MetaCart

Single and loving it: Must-alias analysis for higher-order languages
by Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew Wright — 1998
… Thiemann x Stephen Weeks Andrew Wright Abstract In standard control-flow analyses for higher…
Cited by 13 (2 self) – Add To MetaCart

A Concurrent Abstract Interpreter
by Stephen Weeks, Suresh Jagannathan, James Philbin — 1994
… Publishers -- Manufactured in The Netherlands A Concurrent Abstract Interpreter STEPHEN WEEKS (weeks…
Cited by 2 (2 self) – Add To MetaCart

Type-Directed Flow Analysis for Typed Intermediate Languages
by Suresh Jagannathan, Stephen Weeks, Andrew Wright — 1997 — In Proc. 4th Int’l Static Analysis Symp
…Type-Directed Flow Analysis for Typed Intermediate Languages Suresh Jagannathan, Stephen Weeks…
Cited by 15 (2 self) – Add To MetaCart

Flow-Directed Closure Conversion for Typed Languages
by Henry Cejtin, Suresh Jagannathan, Stephen Weeks — 2000 — In ESOP '00 [ESOP00
… ?? , and Stephen Weeks ? ? ? Abstract. This paper presents a new closure conversion algorithm for simply…
Cited by 23 (0 self) – Add To MetaCart

On the Orthogonality of Assignments and Procedures in Algol
by Stephen Weeks Matthias, Matthias Felleisen — 1993 — In Proc. 20th ACM Symposium on Principles of Programming Languages
…On the Orthogonality of Assignments and Procedures in Algol Stephen Weeks Matthias Felleisen y…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB