Efficient and language-independent mobile programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 5, 1996, Pages 127-136

  Adl Tabatabai, Ali Reza ^a   Langdale, Geoff ^a   Lucco, Steven ^b   Wahbe, Robert ^b  

^a Carnegie Mellon University ^*  (United States)

^b MS 350   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144429017     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231402     Document Type: Article

References (46)

1. K. Andrews and D. Sand. Migrating a CISC computer family onto RISC via object code translation. In Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 213-222, October 1992.
2. D. Bacon, S. Graham, and O. Sharp. Compiler transformations for high-performance computing. ACM Comput. Surv., 26(4):345-420, December 1994.
3. H. Bal, A. Tanenbaum, and M. Kaashoek. ORCA: a language for distributed programming. SIGPLAN Notices, 25(5):17-24, May 1990.
4. J. Bennerjee, W. Kim, H. Kim, and H. Korth. Semantics and implementation of scheme evolution in object-oriented databases. In Proc. ACM SIGMOD Conference, pages 311-322, December 1987.
5. T. Berners-Lee, R. Fielding, and H. Nielsen. HTTP/1.0 Internet Draft 04, October 1995. Internet Draft (work in progress).
6. D. Bernstein and M. Rodeh. Global instruction scheduling for superscalar machines. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 241-255, June 1991.
7. N. Borenstein. EMail with a mind of its own: The Safe-Tel language for enabled mail. In IFIP Working Group 6.5 Conference, May 1994.
8. M. Burke and L. Torczon. Interprocedural optimization: eliminating unnecessary recompilation. ACM Transactions on Programming Languages and Systems, 15(3):367-399, July 1993.
9. L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3 language definition. SIGPLAN Notices, 27(8), August 1992.
10. B. Case. Intel reveals Pentium implementation details. Microprocessor Report, pages 9-17, March 1993.
11. F. Chow, S. Correll, M. Himelstein, E. Killian, and L. Weber. How many addressing modes are enough? In Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems, pages 117-121, October 1987.
12. K. Chung and H. Yuen. A tiny Pascal compiler. Byte, 39(9):58-64, September 1978.
13. Compton's Interactive Encyclopedia, 1995.
14. J. Strong et. al. The problem of programming communication with changing machines. Communications of the ACM, 1(8):12-18, August 1958.
15. M. Franz. Code-Generation On-the-Fly: A Key to Portable Software. PhD thesis, Swiss Federal Institute of Technology Zurich, 1994. Diss. ETH No. 10497.
16. C. Fraser and D. Hanson. A retargetable compiler for ANSI C. SIGPLAN Notices, 26(10):29-23, Oct 1991.
17. Gcc, 1994. Free Software Foundation.
18. J. Gosling. Java intermediate bytecodes. In ACM SIGPLAN Workshop on Intermediate Representations (IR '95), pages 111-118, January 1995.
19. J. Gosling and H. McGilton. The Java language environment: A white paper, 1995. Sun Microsystems, Inc.
20. L. Gwennap. Intel's P6 uses decoupled superscalar design. Microprocessor Report, pages 9-15, February 1995.
21. L. Gwennap. Nx686 goes toe-to-toe with Pentium Pro. Microprocessor Report, pages 1-10, October 1995.
22. C. B. Hall and K. O'Brien. Performance characteristics of architectural features of the IBM RISC System/6000. In Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 303-309, April 1991.
23. R. Harper and P. Lee. Advanced languages for systems software: The Fox project in 1994. Technical report, School of Computer Science, Carnegie Mellon University, January 1994. techreport CMU-CS-FOX-94-01.
24. Intel. Optimizations for Intel's 32-Bit Processors. Application Note AP-500, Intel Corp., February 1994.
25. K. Johnson. RISC-like design fares well for x86 CPUs. Microprocessor Report, pages 26-27, November 1995.
26. S. Knaster. Magic Cap concepts, May 1995. General Magic, Inc.
27. M. Lam, E. Rothberg, and M. Wolf. The cache performance and optimizations of blocked algorithms. In Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 63-74, April 1991.
28. S. Lucco, O. Sharp, and R. Wahbe. Omniware: A universal substrate for web programming. In Fourth International World Wide Web Conference. December 1995.
29. S. Macrakis. From UNCOL to ANDF: Progress in standard intermedia languages, 1993. Open Software Foundation.
30. B. Noble, M. Price, and M. Satyanarayanan. A programming interface for application-aware adaptation in mobile computing. In Proceedings of the Second USENIX Symposium on Mobile and Location-Independent Computing, April 1995.
31. Windows NT Workstation 3.51 Product Overview, 1995. Microsoft Corporation.
32. J. Ousterhout. TCL: An embeddable command language. In Proceedings of the 1990 Usenix Winter Conference, pages 22-26, January 1990.
33. D. Patterson. Reduced instruction set computers. Communications of the ACM, 28(1):8-21, January 1985.
34. D. Pountain. Parallel course. Byte, 19(7):53-60, July 1994.
35. M. Slater. AMD's K5 designed to outrun Pentium. Microprocessor Report, pages 1-11, October 1994.
36. B. Steensgaard and E. Jul. Object and native code thread mobility among heterogeneous computers. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, December 1995.
37. M. Stonebraker and G. Kemnitz. The POSTGRES next-generation database management system. Communications of the ACM, 34(10):78-92, October 1991.
38. R. Sweet. The Mesa programming environment. In Proceedings SIGPLAN Symposium on Language Issues in Programming Environments, pages 216-229, July 1985.
39. D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Languages Design and Implementation. ACM, May 1996. To appear.
40. J. Ullman. Elements of ML programming. Prentice Hall, 1994.
41. G. van Rossum. Python tutorial, October 1995. Online at: http://www.python.org/doc/tut/tut.html.
42. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficent software-based fault isolation. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pages 203-216, June 1993.
43. R. Wahbe, S. Lucco, and S. Graham. Practical data breakpoints: Design and implementation. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 1-12, June 1993.
44. D. Wall. Global register allocation at link time. In Proceedings of the 7th SIGPLAN Symposium on Compiler Construction, pages 264-275, June 1986.
45. D. Wall. Experience with a software-defined machine architecture. ACM Transactions on Programming Languages and Systems, 14(3), July 1992.
46. G. Williams. Hypercard (personal toolkit). Byte, 12(14):109-117, December 1987.