Incorporating application semantics and control into compilation

Proceedings of the Conference on Domain-Specific Languages, DSL 1997

Volumn , Issue , 1997, Pages

  Engler, Dawson R ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COSINE TRANSFORMS; DIGITAL SUBSCRIBER LINES; PROBLEM ORIENTED LANGUAGES; SEMANTICS;

APPLICATION SEMANTICS; APPLICATION SPECIFIC; CODE TRANSFORMATION; COMPILATION PROCESS; DATA-FLOW INFORMATION; MACHINE CODES; PASSIVE USERS; SOFTWARE FAULT ISOLATIONS;

PROGRAM COMPILERS;

EID: 85094137549     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. S. P. Amarasinghe, J. M. Anderson, M. S. Lam, and A. W. Lim. An overview of the SUIF compiler for scalable parallel machines. In Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing, Portland, OR, August 1993.
2. D. R. Engler, W. C. Hsieh, and M. F. Kaashoek. 'C: A language for high-level, efficient, and machine-independent dynamic code generation. In Proceedings of the 23th Annual Symposium on Principles of Programming Languages, pages 131-144, St. Petersburg, FL, 1995.
3. C. W. Fraser and D. R. Hanson. A retargetable C compiler: design and implementation. Benjamin/ Cummings Publishing Co., Redwood City, CA, 1995.
4. C.W. Fraser and D.R. Hanson. A code generation interface for ANSI C. Software-Practice and Experience, 21(9):963-988, September 1991.
5. W. Wilson Ho and Ronald A. Olsson. An approach to genuine dynamic linking. Software-Practice and Experience, 24(4):375-390, April 1991.
6. Clinton L. Jeffery and Ralph E. Griswold. A framework for execution monitoring in Icon. Software-Practice and Experience, 24(11):1025-1049, November 1994.
7. Gregor Kiczales, Jim des Rivieres, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.
8. Adam Kolawa and Arthur Hicken. Insure++: A tool to support total quality software, http://www.parasoft.com/insure/papers/tech.htm.
9. Todd C. Mowry, Angela K. Demke, and Orran Krieger. Automatic compiler-inserted i/o prefetching for out-of-core applications. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, 1996.
10. A. Srivastava and D.W. Wall. A practical system for intermodule code optimization at link-time. Journal of Programming Languages, March 1992.
11. Amitabh Srivastava and Alan Eustace. Atom - a system for building customized program analysis tools. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, 1994.
12. Mark T. Vandevoorde. Exploiting Specifications to Improve Program Performance. PhD thesis, M.I.T., 1994.
13. Mark T. Vandevoorde and John V. Guttag. Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity. In Proceedings of the 1994 ACM/SIGSOFT Foundations of Software Engineering Conference, 1994.
14. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 203-216, Asheville, NC, USA, December 1993.
15. D.W. Wall. Systems for late code modification. CODE 91 Workshop on Code Generation, 1991.
16. D. Weise and R. Crew. Programmable syntax macros. In Proceedings of PLDI '93, pages 156-165, Albuquerque, NM, June 1993.