CSDL: Reusable Computing System Descriptions for Retargetable System Software (2000)

Cached

Download Links

by Mark W. Bailey , John Knight , Ronald Williams
Citations:3 - 0 self

Documents Related by Co-Citation

6 The Icon Programming Language. Third edition – Ralph E Griswold, Madge T Griswold - 1996
2 Custom calling conventions in a portable assembly language. Unpublished paper available at http://www.eecs.harvard.edu/~nr/ pubs/custom-abstract.html – Norman Ramsey, Christian Lindig - 2002
22 Methods for Saving and Restoring Register Values across Function Calls – Jack W. Davidson, David, David B. Whalley - 1991
55 An Introduction to Machine SUIF and its Portable Libraries for Analysis and Optimization – Michael D. Smith, Glenn Holloway - 2002
45 Single Intermediate Language That Supports Multiple Implementations of Exceptions – Norman Ramsey, Simon Peyton Jones - 2000
28 A Formal Model and Specification Language for Procedure Calling Conventions – Mark W. Bailey, Jack W. Davidson - 1994
80 A method for synthesizing sequential circuits – George H Mealy - 1955
595 Compiling with Continuations – Andrew Appel - 1992
94 Higher-Order Functions for parsing – Graham Hutton - 1993
62 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
138 A Retargetable C Compiler: Design and Implementation – David R Hanson, Christopher W Fraser - 1995
11 Declarative Composition of Stack Frames – Christian Lindig, Norman Ramsey
1 SMLNJ: Garbage collection API. As of November 2005, available from http://www.smlnj.org/ compiler-notes/gc-api.ps – Lal George - 1999
1 A preliminary version of this paper appeared – To appear - 2003
1 Jer ome Vouillon. 2003 (September). The Objective Caml system release 3.07: Documentation and user's manual. INRIA. Available at http://pauillac.inria.fr/ocaml/htmlman – Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Remy
1 Embedding an interpreted language using higher-order functions and types. Submitted to Journal of Functional Programming. Preliminary version appeared – 2003a - 2003
1 Pragmatic aspects of reusable program generators – 2003b
18 The Objective Caml system release 3.08. Documentation and user’s manual – Xavier Leroy - 2004
3 Random testing of C calling conventions – C Lindig - 2005