Declarative composition of stack frames

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

Volumn 2985, Issue , 2004, Pages 298-312

  Lindig, Christian ^a   Ramsey, Norman ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AIR TRAFFIC CONTROL; C (PROGRAMMING LANGUAGE);

C COMPILERS; LAY-OUT; SLOT ALLOCATION;

PROGRAM COMPILERS;

EID: 33745792271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24723-4_20     Document Type: Article

References (15)

1. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, Cambridge, 1992.
2. Compaq. Tru64 Unix - Assembly Language Programmer's Guide. Compaq Computer Corporation, 2000.
3. Crispan Cowan, Gallon Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th USENIX Security Symposium (SECURITY-98), pages 63-78, Berkeley, 1998. Usenix Association.
4. Jack W. Davidson and David B. Whalley. Methods for saving and restoring register values across function calls. Software -Practice and Experience, 21(2):149-1G5, 1991.
5. Chris W. Fraser and David R. Hanson. A Retargetable C Compiler: Design and Implementation. Benjamin/Cuinmings Pub. Co., Redwood City, CA; USA, 1995.
6. FSF. GCC Internals Manual. Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA, 2003. Corresponds to GCC 3.4.
7. Roberto lerusalimschy, Luiz Henrique de Figueiredo, and Waldemar Celes Filho. Lua - an extensible extension language. Software -Practice and Experience, 26(6): 635-652, 1996.
8. Intel. 7/1-32 Intel Architecture Software Developers's Manual, Vol. 1. Intel Corporation., P.O. Box 7641, Mt. Prospect, IL 60056, 2003.
9. Donald Ervin Knuth. METAFONT: The program, volume D of Computers & Typesetting. Addison-Wesley, Reading, MA, USA, 1986.
10. Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Réiny, and Jérôme Vouillon. The Objective Caml System 3.06: Documentation and User's Manual. INRIA, 2002. Available from http://caml.inria.fr.
11. Reuben Olinsky, Christian Lindig, and Norman Ramsey. Staged allocation: Engineering the specification and implementation of procedure calling conventions. Technical Report TR-02-04, Division of Engineering and Applied Sciences, Harvard University, 2001.
12. Norman Ramsey. A simple solver for linear equations containing nonlinear operators. Software -Practice and Experience, 26(4):467-487, 1996.
13. Norman Ramsey. Embedding an interpreted language using higher-order functions and types. Journal of Functional Programming, 2004.
14. To appear. Preliminary version appeared on pages 6-14 of Proceedings of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003.
15. Norman Ramsey and Simon L. Peyton Jones. A single intermediate language that supports multiple implementations of exceptions. Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 35(5):285-298, 2000.