Declarative Specialization of Object-Oriented Programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 10, 1997, Pages 286-298

  Volanschi, Eugen N ^a   Consel, Charles ^a   Muller, Gilles ^a   Cowan, Crispin ^b  

^a CAMPUS DE BEAULIEU   (France)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346789360     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (39)

1. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, Denmark, 1994. DIKU Research Report 94/19.
2. P. Andersen. Partial evaluation applied to ray tracing. DIKU Research Report 95/2, DIKU, University of Copenhagen, Denmark, 1995.
3. J. Auslander, M. Philipose, C. Chambers, S. Eggers, and B. Bershad. Fast, effective dynamic compilation. In PLDI96 [33], pages 149-159.
4. R. Baier, R. Glück, and R. Zöchling. Partial evaluation of numerical programs in Fortran. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 119-132, Orlando, FL, USA, June 1994. Technical Report 94/9, University of Melbourne, Australia.
5. A. Berlin. Partial evaluation applied to numerical computation. In ACM Conference on Lisp and Functional Programming, pages 139-150, Nice, Prance, 1990. ACM Press.
6. B. Bershad, T. Anderson, E. Lazowska, and H. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37-55, February 1990.
7. R. Campbell, N. Islam, P. Madany, and D. Raila. Designing and implementing Choices: an object-oriented system in C++. Communications of the ACM, 1993.
8. C. Chambers. Predicate classes. In Proceedings of the ECOOP'93 European Conference on Object-oriented Programming, volume 707 of Lecture Notes in Computer Science, pages 268-296, Kaiserstautern, Germany, July 1993.
9. W. Cheung and L. A. Exploring issues of operating systems structuring: from microkernel to extensible systems. ACM Operating Systems Reviews, 29(4):4-16, Oct. 1995.
10. C. Consel. A tour of Schism. In PEPM93 [31], pages 66-77.
11. C. Consel, L. Hornof, F. Noël, J. Noyé, and E. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54-72, Feb. 1996.
12. C. Consel, L. Hornof, F. Noël, J. Noyé, and E. Volanschi. A uniform approach for compile-time and runtime specialization. Rapport de recherche 2775, INRIA, Rennes, France, Jan. 1996.
13. C. Consel and F. Noël. A general approach for run-time specialization and its application to C. In POPL96 [34], pages 145-156.
14. C. Consel, C. Pu, and J. Walpole. Incremental specialization: The key to high performance, modularity and portability in operating systems. In PEPM93 [31], pages 44-46. Invited paper.
15. C. Cowan, T. Autrey, C. Krasic, C. Pu, and J. Walpole. Fast concurrent dynamic linking for an adaptive operating system. In International Conference on Configurable Distributed Systems, Annapolis, MD, May 1996.
16. C. Cowan, A. Black, C. Krasic, C. Pu, J. Walpole, C. Consel, and E. Volanschi. Specialization classes: An object framework for specialization. In Fifth IEEE International Workshop on Object-Orientation in Operating Systems, Seattle, Washington, Oct. 1996.
17. J. Dean, C. Chambers, and D. Grove. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation. ACM SIGPLAN Notices, 30(6), June 1995.
18. D. Engler, W. Hsieh, and M. Kaashoek. 'C: A language for high-level, efficient, and machine-independent dynamic code generation. In POPL96 [34], pages 131-144.
19. D. Engler and M. Kaashoek. DPF: Fast, flexible message demultiplexing using dynamic code generation. In SIGCOMM Symposium on Communications Architectures and Protocols, Stanford University, CA, Aug. 1996. ACM Press.
20. M. Gien. Evolution of the CHORUS open microkernel architecture: The STREAM project. In Proceedings of Fifth IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS'95), Cheju Island, Korea, Aug. 1995. IEEE Computer Society Press. Also Technical Report CS/TR-95-107, Choras Systemes.
21. B. Grant, M. Mock, M. Philipose, C. Chambers, and S. Eggers. Annotation-directed run-time specialization in C. In PEPM97 [32], pages 163-178.
22. B. Guenter, T. Knoblock, and E. Ruf. Specializing shaders. In Computer Graphics Proceedings, Annual Conference Series, pages 343-350. ACM Press, 1995.
23. G. Hamilton and P. Kougiouris. The Spring nucleus: A microkernel for objects. Technical Report SMLI TR-93-14, Sun Microsystems Laboratories, Inc., Apr. 1993.
24. L. Hornof and J. Noyé. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. In PEPM97 [32].
25. G. Kiczales. Aspect-oriented programming. http://www.parc.xerox.com/spl/projects/aop/, 1996.
26. P. Kleinrubatscher, A. Kriegshaber, R. Zöchling, and R. Glück. Fortran program specialization. In U. Meyer and G. Snelting, editors, Workshop Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, pages 45-54. Justus-Liebig-Universität, Giessen, Germany, 1994. Report No. 9402.
27. P. Lee and M. Leone. Optimizing ML with run-time code generation. In PLDI96 [33], pages 137-148.
28. B. Locanthi. Fast bitblt() with asm() and cpp. In European UNIX Systems User Group Conference Proceedings pages 243-259, AT&T Bell Laboratories, Murray Hill, Sept. 1987. EUUG.
29. G. Muller, B. Moura, F. Bellard, and C. Consel. JIT us. offline compilers: Limits and benefits of bytecode compilation. Rapport de recherche 1063, IRISA, Rennes, France, Dec. 1996.
30. G. Muller, E. Volanschi, and R. Marlet. Scaling up partial evaluation for optimising a commercial RPC protocol. Rapport de recherche 1068, IRISA, Rennes, France, Dec. 1996. Also published in ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation, 1997.
31. Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993. ACM Press.
32. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997. ACM Press.
33. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation. ACM SIGPLAN Notices, 31(5), May 1996.
34. rd Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, St. Petersburg Beach, FL, USA, Jan. 1996. ACM Press.
35. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Iuouye, L. Kethana, J. Walpole, and K. Zhang. Optimistic incremental specialization: Streamlining a commercial operating system. In Proceedings of the 1995 ACM Symposium on Operating Systems Principles, pages 314-324, Copper Mountain Resort, CO, USA, Dec. 1995. ACM Operating Systems Reviews, 29(5),ACM Press.
36. C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. Computing Systems, 1(1):11-32, Winter 1988.
37. V. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmaan, C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser. Overview of the Chorus distributed operating system. In USENIX - Workshop Proceedings - Micro-kernels and Other Kernel Architectures, pages 39-70, Seattle, WA, USA, Apr. 1992.
38. Sun. JavaCC - the Java compiler compiler. http://www.suntest.com/JavaCC/, 1997.
39. E. Volanschi, G. Muller, and C. Consel. Safe operating system specialization: the RPC case study. In Workshop Record of WCSSS'96 - The Inaugural Workshop on Compiler Support for Systems Software, pages 24-28, Tucson, AZ, USA, Feb. 1996.