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
11 Declarative Composition of Stack Frames – Christian Lindig, Norman Ramsey
30 A Formal Model and Specification Language for Procedure Calling Conventions – Mark W. Bailey, Jack W. Davidson - 1994
49 Single Intermediate Language That Supports Multiple Implementations of Exceptions – Norman Ramsey, Simon Peyton Jones - 2000
100 A method for synthesizing sequential circuits – G Mealy - 1955
58 An Introduction to Machine SUIF and its Portable Libraries for Analysis and Optimization – Michael D. Smith, Glenn Holloway - 2002
625 Compiling With Continuations – A W Appel - 1992
143 A Retargetable C Compiler: Design and Implementation – D Hanson, C Fraser - 1995
67 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
98 Higher-Order Functions for parsing – Graham Hutton - 1993
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
5 Random testing of c calling conventions – C LINDIG
20 The Objective Caml system release 3.08 Documentation and user’s – X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon - 2004