C--: A Portable Assembly Language That Supports Garbage Collection (1999)

by Simon Peyton Jones , Norman Ramsey , Fermin Reig
Venue:IN INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
Citations:70 - 22 self

Active Bibliography

1111 Proof-Carrying Code – George C. Necula - 1997
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
449 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
416 Obliq - A language with distributed scope – Luca Cardelli - 1995
409 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
400 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
332 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
3 Machine-Independent Support for Garbage Collection, Debugging, Exception Handling, and Concurrency – Simon Peyton Jones, Norman Ramsey - 1998
276 Eel: Machine-independent executable editing – James R. Larus, Eric Schnarr - 1995