C--: A portable assembly language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1467, Issue , 1998, Pages 1-19

  Jones, Simon Peyton ^a   Nordin, Thomas ^b   Oliva, Dino ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM COMPILERS;

ASSEMBLY LANGUAGE; INSTRUCTION SCHEDULING; INSTRUCTION SELECTION; MACHINE CODES; REGISTER ALLOCATION; STRONG DEMAND; TARGET ARCHITECTURES; TARGET LANGUAGE;

C (PROGRAMMING LANGUAGE);

EID: 84885609587     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055421     Document Type: Conference Paper

References (22)

1. AW Appel. Compiling with continuations. Cambridge University Press, 1992.
2. H Baker. Cons should not cons its arguments, Part II: Cheney on the MTA. SIGPLAN Notices, 30(9): 17-20, Sept 1995.
3. JF Bartlett. SCHEME to C: a portable Scheme-to-C compiler. Technical Report RR 89/1, DEC WRL, 1989.
4. ME Benitez, P Chan, JW Davidson, AM Holler, S Meloy, and V Santhanam. ANDF: Finally an UNCOL after 30 years. Technical Report TR-91-05, University of Virginia, Department of Computer Science, Charlottesville, VA, March 1989.
5. ME Benitez and JW Davidson. The advantages of machine-Dependent global optimization. In International Conference on Programming Languages and Architectures (PLSA '94), pages 105-123, 1994.
6. ME Conway. Proposal for an UNCOL. Communications of the ACM, 1(10): 5-8, October 1958.
7. L George. MLRISC: Customizable and Reusable Code Generators. Technical report, Bell Laboratories, Murray Hill, 1997.
8. Fergus Henderson, Thomas Conway, and Zoltan Somogyi. Compiling logic programs to C using GNU C as a portable assembler. InPostconference Workshop on Sequential Implementation Technologies for Logic Programming (ILPS'95), pages 1-15, Portland, Or, 1995.
9. H McGilton J Gosling. The Java Language Environment: a White Paper. Technical report, Sun Microsystems, 1996.
10. R Jones. Tail recursion without space leaks. Journal of Functional Programming, 2(1): 73-80, Jan 1992.
11. Simon L. Peyton Jones. Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine. Journal of Functional Programming, 2(2): 127-202, April 1992.
12. SL Peyton Jones, T Nordin, and D Oliva. The C-manual. Technical report, Department of Computing Science, University of Glasgow, 1998.
13. SL Peyton Jones, N Ramsey, and JW Davidson. Portable support for garbage collection, debugging, and exceptions. Technical report, In preparation, Department of Computing Science, University of Glasgow, 1998.
14. Brian T. Lewis, L. Peter Deutsch, and Theodore C. Goldstein. Clarity MCode: A retargetable intermediate representation for compilation. ACM SIGPLAN Notices, 30(3): 119-128, March 1995.
15. S Lucco, O Sharp, and R Wahbe. Omniware: a universal substrate for Web programming. In Fourth International World Wide Web Conference, Boston: The Web Revolution, Dec 1995.
16. G Morrisett, K Crary, N Glew, and D Walker. Stack-based typed assembly language. In Proc Types in Compilation, Osaka, Japan, March 1998.
17. G Morrisett, D Walker, K Crary, and N Glew. From system f to typed assembly language. In Proc 25th ACM Symposium on Principles of Programming Languages, San Diego, Jan 1998.
18. Kevin O'Brien, Kathryn M. O'Brien, Martin Hopkins, Arvin Shepherd, and Ron Unrau. XIL and YIL: The intermediate languages of TOBEY. ACM SIGPLAN Notices, 30(3): 71-82, March 1995.
19. M Pettersson. Simulating tail calls in C. Technical report, Department of Computer Science, Linkoping University, 1995.
20. GL Steele. Rabbit: a compiler for Scheme. Technical Report AI-TR-474, MIT Lab for Computer Science, 1978.
21. D Tarditi, A Acharya, and P Lee. No assembly required: compiling Standard ML to C. ACM Letters on Programming Languages and Systems, 1(2): 161-177, 1992.
22. D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, and P Lee. Til: A typedirected optimizing compiler for ml. In Proc SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'96), Philadelphia. ACM, May 1996.