Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (1999)

Cached

Download Links

by Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen , Robert Bruce , Findler Shriram , Krishnamurthi Matthias Felleisen
Venue:In Proceedings of the 1999 ACM International Conference on Functional Programming (ICFP ’99
Citations:21 - 6 self

Documents Related by Co-Citation

61 Composable and Compilable Macros: You Want it When? – Matthew Flatt, Compilable Macros - 2002
74 PLT MzScheme: Language manual – Matthew Flatt, Copyright C○- Matthew Flatt - 1997
72 Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java – Godmar Back, Wilson C. Hsieh, Jay Lepreau - 2000
88 JRes: A Resource Accounting Interface for Java – Grzegorz Czajkowski , Thorsten von Eicken - 1998
111 Componential set-based analysis – Cormac Flanagan, Matthias Felleisen - 1997
69 Catching Bugs in the Web of Program Invariants – Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen - 1996
83 Implementing Multiple Protection Domains in Java – Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, Thorsten von Eicken - 1998
97 Pilot: An Operating System for a Personal Computer – David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell - 1980
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
32 Termination in Language-based Systems – Algis Rudys, John Clements, Dan S. Wallach - 2002
55 Multitasking without Compromise: A Virtual Machine Evolution – Grzegorz Czajkowski, Laurent Daynès - 2001
3 Selectors make set-based analysis too hard. Higher Order and Symbolic Computation – Robert Bruce Findler, Paul Steckler - 2005
28 Making Set-Constraint Based Program Analyses Scale – M Fähndrich, A Aiken - 1996
23 Polymorphic Splitting: An Effective Polyvariant Flow Analysis – Andrew K. Wright, Suresh Jagannathan - 1998
25 Separate Abstract Interpretation for Control-Flow Analysis – Yan Mei Tang, Pierre Jouvelot - 1994
54 The semantics of Scheme control-flow analysis – Olin Shivers - 1991
8 A Modular, Extensible Proof Method for Small-step Flow Analyses – Mitchell Wand, Galen B. Williamson - 2002
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
158 Object-Oriented Type Systems – J Palsberg, M I Schwartzbach - 1994