Programming languages as operating systems (or revenge of the son of the lisp machine)

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 9, 1999, Pages 138-146

  Flatt, Matthew ^a   Findler, Robert Bruce ^a   Krishnamurthi, Shriram ^a   Felleisen, Matthias ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY; VIRTUAL MACHINE;

IMPLEMENTATION PLATFORMS; KEY ELEMENTS; MINIATURE VERSION; PROGRAMMING ENVIRONMENT;

LISP (PROGRAMMING LANGUAGE);

EID: 17144390777     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/317765.317793     Document Type: Article

References (33)

1. Back, G. and W. Hsieh. Drawing the red line in Java. In Proc. IEEE Workshop on Hot Topics in Operating Systems, March 1999.
2. Back, G., P. Tullmann, L. Stoller, W. C. Hsieh and J. Lepreau. Java operating systems: Design and implementation. Technical Report UUCS-98-015, University of Utah, 1998.
3. Balfanz, D. and L. Gong. Experience with secure multi-processing in Java. Technical Report TR-560-97, Princeton University, Computer Science Department, September 1997.
4. Banga, G., P. Druschel and J. C. Mogul. Resource containers: A new facility for resource management in server systems. In Proc. ACM Symposium on Operating System Design and Implementation, Feburary 1999.
5. Bershad, B. N., S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, D. Becker, S. Eggers and C. Chambers. Extensibility, safety and performance in the SPIN operating system. In Proc. ACM Symposium on Operating Systems Principles, pages 267-284, December 1995.
6. Bracha, G. and W. Cook. Mixin-based inheritance. In Proc. Joint ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications and the European Conference on Object-Oriented Programming, October 1990.
7. Bromley, H. Lisp Lore: A Guide to Programming the Lisp Machine. Kluwer Academic Publishers, 1986.
8. Dorward, S., R. Pike, D. L. Presotto, D. Ritchie, H. Trickey and P. Winterbottom. Inferno. In Proc. IEEE Compcon Conference, pages 241-244, 1997.
9. Dybvig, R. K. Chez Scheme User's Guide. Cadence Research Systems, 1998.
10. Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs, pages 369-388, September 1997.
11. Finne, S. and S. P. Jones. Composing Haggis. In Proc. Eurographics Workshop on Programming Paradigms for Computer Graphics, September 1995.
12. Fisler, K., S. Krishnamurthi and K. Gray. Implementing extensible theorem provers. Technical Report 99-340, Rice University, 1999.
13. Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
14. Flatt, M. and M. Felleisen. Units: Cool modules for HOT languages. In Proc. ACM Conference on Programming Language Design and Implementation, pages 236-248, June 1998.
15. Flatt, M. and R. B. Findler. PLT MrEd: Graphical toolbox manual. Technical Report TR97-279, Rice University, 1997.
16. Flatt, M., S. Krishnamurthi and M. Felleisen. Classes and mixins. In Proc. ACM Symposium on Principles of Programming Languages, pages 171-183, Janurary 1998.
17. Ford, B. and J. Lepreau. Evolving Mach 3.0 to a migrating thread model. In Proc. USENIX Technical Conference and Exhibition, pages 97-114, Janurary 1994.
18. Ganser, E. R. and J. H. Reppy. eXene. In Proc. of the 1991 CMU Workshop on Standard ML. Carnegie Mellon University, September 1991.
19. Goldberg, A. and D. Robson. Smalltalk 80: The Language. Addison-Wesley, Reading, 1989.
20. Hagiya, M. Meta-circular interpreter for a strongly typed language. Journal of Symbolic Computation, 8(12):651-680, 1989.
21. Hallgren, T. and M. Carlsson. Programming with fudgets. In Jeuring, J. and E. Meijer, editors, Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science, pages 137-182. Springer, May 1995.
22. Hawblitzel, C., C.-C. Chang, G. Czajkowski, D. Hu and T. von Eicken. Implementing multiple protection domains in Java. In Proc. of USENIX Annual Technical Conference, pages 259-270, June 1998.
23. 5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9), September 1998.
24. Leslie, I. M., D. McAuley, R. J. Black, T. Roscoe, P. R. Barham, D. M. Evers, R. Fairburns and E. A. Hyden. The design and implementation of an operating system to support distributed multimedia applications. IEEE Journal on Selected Areas in Communications, 14(7):1280-1297, September 1996.
25. McCarthy, J. Recursive functions of symbolic expressions and their computation by machine (Part I). Communications of the ACM, 3(4):184-195, 1960.
26. Moon, D. A. Object-oriented programming with Flavors. In Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 1-8, November 1986.
27. Redell, D., Y. Dalal, T. Horsley, H. Lauer, W. Lynch, P. McJones, H. Murray and S. Purcell. Pilot: An operating system for a personal computer. Communications of the ACM, 23(2):81-92, Feburary 1980.
28. Reynolds, J. Definitional interpreters for higher order programming languages. In ACM Conference Proceedings, pages 717-740, 1972.
29. Smart, J. et al. wxWindows. http://web.ukonline.co.uk/julian.smart/wxwin/.
30. Sperber, M. The Lula system for theater lighting control. http://www-pu.informatik.uni-tuebingen.de/ users/sperber/lula/.
31. Sun Microsystems, Inc. JavaOS: A standalone Java environment, 1997. http://www.javasoft.com/products/javaos/ javaos.white.html.
32. Swinehart, D. C., P. T. Zellweger, R. J. Beach and R. B. Hagmann. A structural view of the Cedar programming environment. ACM Transactions on Programming Languages and Systems, 8(4):419-490, October 1986.
33. Wirth, N. and J. Gutknecht. Project Oberon. ACM Press, 1992.