Interface compilation: Steps toward compiling program interfaces as languages

IEEE Transactions on Software Engineering

Volumn 25, Issue 3, 1999, Pages 387-400

  Engler, Dawson R ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; INTERFACES (COMPUTER); PROGRAM COMPILERS; SUBROUTINES;

INTERFACE COMPILATION;

SOFTWARE ENGINEERING;

EID: 0032594234     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.798327     Document Type: Article

References (21)

1. S.P. Amarasinghe, J.M. Anderson, M.S. Lam, and A.W. LimA Overview of the SUIF Compiler for Scalable Parallel Machines, Proc. Sixth Workshop Languages and Compilers for Parallel Computing Portland, Ore., Aug. 1993.
2. M Bishop and M. DilgerChecking for Race Conditions in Fil Accesses Computing Systems, pp. 131-152, Spring 1996.
3. S. ChibaOpen C++ Programmer's Guide Technical Repor TR93-93-3, Dept. of Information Science, Univ. of Tokyo, 1993.
4. S. ChibaA Metaobject Protocol for C++ Proc. Conf. ObjectOriented Programming Systems, Languages, and Applications OOPSLA'95, pp. 285-299, Oct. 1995.
5. D.R. Engler, W.C. Hsieh, and M.F. Kaashoek'C: A Language fo High-Level, Efficient, and Machine-Independent Dynamic Cod Generation Proc. 23th Ann. Symp. Principles of Programmin Languages, pp. 131-144, St. Petersburg, Fla., 1995.
6. C.W. Fraser and D.R. Hanson, A Retargetable C Compiler: Desig and Implementation. Redwood City, Calif.: Benjamin/Cummings 1995.
7. C.W. Fraser and D.R. HansonA Code Generation Interface fo ANSI C. Software-Practice and Experience, vol. 21, no. 9, pp. 963 988, Sept. 1991.
8. W. Wilson Ho and R.A. OlssonAn Approach to Genuin Dynamic Linking Software-Practice and Experience, vol. 24, no. 4 pp. 375-390, Apr. 1991.
9. C.L. Jeffery and R.E. GriswoldA Framework for Executio Monitoring in Icon Software-Practice and Experience vol. 24, no 11, pp. 1,025-1,049, Nov. 1994.
10. G. Kiczales, J. des Rivieres, and D.G. Bobrow, The Art of th Metaobject Protocol. MIT Press, 1991.
11. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J.-M. Loingtier, and J. IrwinAspect-Oriented Programming Proc. European Conf. Object-Oriented Programming (ECOOP), June 1997.
12. A. Kolawa and A. HickenInsure++: A Tool to Support Total Quality Software http://www.parasoft.com/insure/ papers/tech.htm
13. T. LordApplication Specific Static Code Checking for C Programs: Ctool twaddle: A Digital Zine (version 1.0), 1997.
14. T.C. Mowry, A.K. Demke, and O. KriegerAutomatic CompilerInserted I/O Prefetching for Out-of-Core Applications, Proc. Second Symp. Operating Systems Design and Implementation, 1996.
15. A. Srivastava and D.W. WallA Practical System for Intermodule Code Optimization at Link-Time J. Programming Languages, Mar 1992.
16. A. Srivastava and A. EustaceAtom-A System for Building Customized Program Analysis Tools, Proc. SIGPLAN'94 Conf. Programming Language Design and Implementation, 1994.
17. M.T. VandevoordeExploiting Specifications to Improve Program Performance PhD thesis, MIT, 1994.
18. M.T. Vandevoorde and J.V. GuttagUsing Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity, Proc. 1994 ACM/SIGSOFT Foundations of Software Eng. Conf., 1994.
19. R. Wahbe, S. Lucco, T. Anderson, and S. GrahamEfficient Software-Based Fault Isolation, Proc. 14th ACM Symp. Operating Systems Principles, pp. 203-216, Asheville, North Carolina, Dec 1993.
20. D.W. WallSystems for Late Code Modification Proc. Worksho on Code Generation, CODE'91, 1991.
21. D. Weise and R. CrewProgrammable Syntax Macros Proc PLDI'93, pp. 156-165, Albuquerque, New Mexico, June 1993.