C--: A portable assembly language that supports garbage collection

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

Volumn 1702, Issue , 1999, Pages

  Jones, Simon Peyton ^a   Ramsey, Norman ^b   Reig, Fermin ^c  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF VIRGINIA   (United States)

^c UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); LOGIC PROGRAMMING; PROGRAM COMPILERS; REFUSE COLLECTION; SEMANTICS; XML;

ASSEMBLY LANGUAGE; COMPILER WRITERS; EXCEPTION HANDLING; GARBAGE COLLECTION; IMPLEMENTATION LANGUAGES; IMPLEMENTATION TECHNIQUES; RUN-TIME INTERFACE; RUN-TIME SERVICES;

C (PROGRAMMING LANGUAGE);

EID: 84979009371     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10704567_1     Document Type: Conference Paper

References (39)

1. Appel, Andrew W. 1989 (February). Simple generational garbage collection and fast allocation. Software-Practice & Experience, 19(2): 171-183.
2. Atkinson, Russ, Alan Demers, Carl Hauser, Christian Jacobi, Peter Kessler, and Mark Weiser. 1989 (July). Experiences creating a portable Cedar. Proceedings of the '89 SIGPLAN Conference on Programming Language Design and Implementation, SIGPLAN Notices, 24(7): 322-329.
3. Bartlett, Joel F. 1988 (February). Compacting garbage collection with ambiguous roots. Technical Report 88/2, DEC WRL, 100 Hamilton Avenue, Palo Alto, California 94301.
4. Bartlett, Joel F. 1989a (October). Mostly-copying garbage collection picks up generations and C++. Technical Report TN-12, DEC WRL, 100 Hamilton Avenue, Palo Alto, California 94301.
5. Bartlett, Joel F. 1989b. SCHEME to C: A portable Scheme-to-C compiler. Technical Report RR 89/1, DEC WRL.
6. Benitez, Manuel E. and Jack W. Davidson. 1988 (July). A portable global optimizer and linker. In ACM Conference on Programming Languages Design and Implementation (PLDI'88), pages 329-338. ACM.
7. Benton, Nick, Andrew Kennedy, and George Russell. 1998 (September). Compiling Standard ML to Java bytecodes. In ACM Sigplan International Conference on Functional Programming (ICFP'98), pages 129-140, Balitmore.
8. Bernstein, Robert L. 1985 (October). Producing good code for the case statement. Software Practice and Experience, 15(10): 1021-1024.
9. Boehm, Hans-Juergen and Mark Weiser. 1988 (September). Garbage collection in an uncooperative environment. Software Practice and Experience, 18(9): 807-820.
10. Chase, David. 1994a (June). Implementation of exception handling, Part I. The Journal of C Language Translation, 5(4): 229-240.
11. Chase, David. 1994b (September). Implementation of exception handling, Part II: Calling conventions, asynchrony, optimizers, and debuggers. The Journal of C Language Translation, 6(1): 20-32.
12. Clausen, LR and O Danvy. 1998 (April). Compiling proper tail recursion and first-class continuations: Scheme on the Java virtual machine. Technical report, Department of Computer Science, University of Aarhus, BRICS.
13. Conway, ME. 1958 (October). Proposal for an UNCOL. Communications of the ACM, 1(10): 5-8.
14. Diwan, A, D Tarditi, and E Moss. 1993 (January). Memory subsystem performance of programs using copying garbage collection. In 21st ACM Symposium on Principles of Programming Languages (POPL'94), pages 1-14. Charleston: ACM.
15. Franz, Michael. 1997 (October). Beyond Java: An infrastructure for highperformance mobile code on theWorld WideWeb. In Lobodzinski, S. and I. Tomek, editors, Proceedings of WebNet'97, World Conference of the WWW, Internet, and Intranet, pages 33-38. Association for the Advancement of Computing in Education.
16. George, Lal. 1996. MLRISC: Customizable and reusable code generators. Unpublished report available from http://www. cs. bell-labs. com/george/.
17. Harbison, Samuel P. and Guy L. Steele, Jr. 1995. C: A Reference Manual. fourth edition. Englewood Cliffs, NJ: Prentice Hall.
18. Henderson, Fergus, Thomas Conway, and Zoltan Somogyi. 1995. Compiling logic programs to C using GNU C as a portable assembler. In ILPS'95 Postconference Workshop on Sequential Implementation Technologies for Logic Programming, pages 1-15, Portland, Or.
19. Liskov, Barbara H. and Alan Snyder. 1979 (November). Exception handling in CLU. IEEE Transactions on Software Engineering, SE-5(6): 546-558.
20. Macrakis, Stavros. 1993 (January). The Structure of ANDF: Principles and Examples. Open Systems Foundation.
21. Novack, Steven, Joseph Hummel, and Alexandru Nicolau. 1995. A Simple Mechanism for Improving the Accuracy and Efficiency of Instruction-level Disambiguation, chapter 19. Lecture Notes in Computer Science. Springer Verlag.
22. Pettersson, M. 1995. Simulating tail calls in C. Technical report, Department of Computer Science, Linkoping University.
23. Peyton Jones, Simon L., A. J. Gordon, and S. O. Finne. 1996 (January). Concurrent Haskell. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), pages 295-308, St Petersburg Beach, Florida.
24. Peyton Jones, SL, D'Oliva, and T Nordin. 1998. C: A portable assembly language. In Proceedings of the 1997 Workshop on Implementing Functional Languages (IFL'97), Lecture Notes in Computer Science, pages 1-19. Springer Verlag.
25. Peyton Jones, Simon L. 1992 (April). Implementing lazy functional languages on stock hardware: The spineless tagless G-machine. Journal of Functional Programming, 2(2): 127-202.
26. Ramsey, Norman and Simon L. Peyton Jones. 1999. Exceptions need not be exceptional. Draft available from http://www. cs. virginia. edu/nr.
27. Ramsey, Norman. 1992 (December). A Retargetable Debugger. PhD thesis, Princeton University, Department of Computer Science. Also Technical Report CS-TR-403-92.
28. Reig, F and SL Peyton Jones. 1998. The C-manual. Technical report, Department of Computing Science, University of Glasgow.
29. Reppy, JH. 1991 (June). CML: a higher-order concurrent language. In ACM Conference on Programming Languages Design and Implementation (PLDI'91). ACM.
30. Serrano, Manuel and Pierre Weis. 1995 (September). Bigloo: a portable and optimizing compiler for strict functional languages. In 2nd Static Analysis Symposium, Lecture Notes in Computer Science, pages 366-381, Glasgow, Scotland.
31. Shivers, Olin, James W. Clark, and Roland McGrath. 1999 (September). Atomic heap transactions and fine-grain interrupts. In ACM Sigplan International Conference on Functional Programming (ICFP'99), Paris.
32. SPARC International. 1992. The SPARC Architecture Manual, Version 8. Englewood Cliffs, NJ: Prentice Hall.
33. Stallman, Richard M. 1992 (February). Using and Porting GNU CC (Version 2. 0). Free Software Foundation.
34. Steele, Guy L., Jr. 1978 (May). Rabbit: A compiler for Scheme. Technical Report AI-TR-474, Artificial Intelligence Laboratory, MIT, Cambridge, MA.
35. Stichnoth, JM, G-Y Lueh, and M Cierniak. 1999 (May). Suppport for garbage collection at every instruction in a Java compiler. In ACM Conference on Programming Languages Design and Implementation (PLDI'99), pages 118-127, Atlanta.
36. Taft, Tucker. 1996. Programming the Internet in Ada 95. In Strohmeier, Alfred, editor, 1996 Ada-Europe International Conference on Reliable Software Technologies, Vol. 1088 of Lecture Notes in Computer Science, pages 1-16, Berlin. Available through www. appletmagic. com.
37. Tarditi, David, Anurag Acharya, and Peter Lee. 1992. No assembly required: compiling Standard ML to C. ACM Letters on Programming Languages and Systems, 1(2): 161-177.
38. Tarditi, D, G Morrisett, P Cheng, C Stone, R Harper, and P Lee. 1996 (May). TIL: A type-directed optimizing compiler for ML. In ACM Conference on Programming Languages Design and Implementation (PLDI'96), pages 181-192. Philadelphia: ACM.
39. Wakeling, D. 1998 (September). Mobile Haskell: compiling lazy functional languages for the Java virtual machine. In Proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'98), Pisa.