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:69 - 22 self

Documents Related by Co-Citation

49 Single Intermediate Language That Supports Multiple Implementations of Exceptions – Norman Ramsey, Simon Peyton Jones - 2000
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
625 Compiling with Continuations – A Appel - 1992
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
944 A theory of type polymorphism in programming – Robin Milner - 1978
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987