{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:28Z","timestamp":1725560428573},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212973"},{"type":"electronic","value":"9783540247234"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24723-4_20","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:14:24Z","timestamp":1280261664000},"page":"298-312","source":"Crossref","is-referenced-by-count":6,"title":["Declarative Composition of Stack Frames"],"prefix":"10.1007","author":[{"given":"Christian","family":"Lindig","sequence":"first","affiliation":[]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Compiling with Continuations","author":"A.W. Appel","year":"1992","unstructured":"Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (1992)"},{"key":"20_CR2","unstructured":"Compaq. Tru64 Unix \u2013 Assembly Language Programmer\u2019s Guide. Compaq Computer Corporation (2000)"},{"key":"20_CR3","unstructured":"Cowan, C., Pu, C., Maier, D., Walpole, J., Bakke, P., Beattie, S., Grier, A., Wagle, P., Zhang, Q., Hinton, H.: StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In: Proceedings of the 7th USENIX Security Symposium (SECURITY 1998), Berkeley, pp. 63\u201378. Usenix Association (1998)"},{"issue":"2","key":"20_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1002\/spe.4380210204","volume":"21","author":"J.W. Davidson","year":"1991","unstructured":"Davidson, J.W., Whalley, D.B.: Methods for saving and restoring register values across function calls. Software \u2014 Practice and Experience\u00a021(2), 149\u2013165 (1991)","journal-title":"Software \u2014 Practice and Experience"},{"key":"20_CR5","volume-title":"A Retargetable C Compiler: Design and Implementation","author":"C.W. Fraser","year":"1995","unstructured":"Fraser, C.W., Hanson, D.R.: A Retargetable C Compiler: Design and Implementation. Benjamin\/Cummings Pub. Co., Redwood City (1995)"},{"key":"20_CR6","unstructured":"FSF. GCC Internals Manual. Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA, 2003. Corresponds to GCC 3.4"},{"issue":"6","key":"20_CR7","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1002\/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P","volume":"26","author":"R. Ierusalimschy","year":"1996","unstructured":"Ierusalimschy, R., de Figueiredo, L.H., Filho, W.C.: Lua \u2014 an extensible extension language. Software \u2014 Practice and Experience\u00a026(6), 635\u2013652 (1996)","journal-title":"Software \u2014 Practice and Experience"},{"key":"20_CR8","unstructured":"Intel. IA-32 Intel Architecture Software Developers\u2019s Manual, vol. 1. Intel Corporation., P.O. Box 7641, Mt. Prospect, IL 60056 (2003)"},{"key":"20_CR9","volume-title":"The program, volume D of Computers & Typesetting","author":"D.E. Knuth","year":"1986","unstructured":"Knuth, D.E.: The program, volume D of Computers & Typesetting. Addison-Wesley, Reading (1986)"},{"key":"20_CR10","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml System 3.06: Documentation and User\u2019s Manual. INRIA (2002), Available from http:\/\/caml.inria.fr"},{"key":"20_CR11","unstructured":"Olinsky, R., Lindig, C., Ramsey, N.: Staged allocation: Engineering the specification and implementation of procedure calling conventions. Technical Report TR-02-04, Division of Engineering and Applied Sciences, Harvard University (2004)"},{"issue":"4","key":"20_CR12","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1002\/(SICI)1097-024X(199604)26:4<467::AID-SPE17>3.0.CO;2-M","volume":"26","author":"N. Ramsey","year":"1996","unstructured":"Ramsey, N.: A simple solver for linear equations containing nonlinear operators. Software \u2014 Practice and Experience\u00a026(4), 467\u2013487 (1996)","journal-title":"Software \u2014 Practice and Experience"},{"key":"#cr-split#-20_CR13.1","doi-asserted-by":"crossref","unstructured":"Ramsey, N.: Embedding an interpreted language using higher-order functions and types. Journal of Functional Programming (2004);","DOI":"10.1145\/858570.858571"},{"key":"#cr-split#-20_CR13.2","unstructured":"To appear. Preliminary version appeared on Proceedings of the ACM Workshop on Interpreters, Virtual Machines, and Emulators, June 2003, pp. 6???14 (2003)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Jones, S.L.P.: A single intermediate language that supports multiple implementations of exceptions. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. SIGPLAN Notices, vol.\u00a035(5), pp. 285\u2013298 (2000)","DOI":"10.1145\/349299.349337"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24723-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:28:59Z","timestamp":1559316539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24723-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212973","9783540247234"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24723-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}