{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:45:27Z","timestamp":1725468327492},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650751"},{"type":"electronic","value":"9783540496731"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057790","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T04:45:07Z","timestamp":1154321107000},"page":"176-192","source":"Crossref","is-referenced-by-count":14,"title":["Machine descriptions to build tools for embedded systems"],"prefix":"10.1007","author":[{"given":"Norman","family":"Ramsey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack W.","family":"Davidson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,29]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Bailey, Mark W. and Jack W. Davidson. 1995 (January). A formal model and specification language for procedure calling conventions. In Conference Record of the 22nd Annual ACM Symposium on Principles of Programming Languages, pages 298\u2013310, San Francisco, CA.","DOI":"10.1145\/199448.199517"},{"issue":"7","key":"15_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/960116.54023","volume":"23","author":"M. E. Benitez","year":"1988","unstructured":"Benitez, Manuel E. and Jack W. Davidson. 1988 (July). A portable global optimizer and linker. Proceedings of the ACM SIGPLAN \u201988 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 23(7):329\u2013338.","journal-title":"SIGPLAN Notices"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Cook, Todd and Ed Harcourt. 1994 (May). A functional specification language for instruction set architectures. In Proceedings of the 1994 International Conference on Computer Languages, pages 11\u201319.","DOI":"10.1109\/ICCL.1994.288397"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/357094.357098","volume":"2","author":"J. W. Davidson","year":"1980","unstructured":"Davidson, Jack W. and Christopher W. Fraser. 1980 (April). The design and application of a retargetable peephole optimizer. ACM Transactions on Programming Languages and Systems, 2(2):191\u2013202.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Davidson, Jack W. and David B. Whalley. 1990 (May). Ease: An environment for architecture study and experimentation. In Proceedings of the 1990 ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, pages 259\u2013260, Boulder, CO.","DOI":"10.1145\/98457.98775"},{"issue":"7","key":"15_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/74818.74838","volume":"24","author":"H. Emmelmann","year":"1989","unstructured":"Emmelmann, Helmut, Friedrich-Wilhelm Schr\u00f6er, and Rudolf Landwehr. 1989 (July). BEG \u2014 a generator for efficient back ends. Proceedings of the ACM SIGPLAN \u201989 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 24(7):227\u2013237.","journal-title":"SIGPLAN Notices"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Fauth, Andreas, Johan Van Praet, and Markus Freericks. 1995 (March). Describing instruction set processors using nML. In The European Design and Test Conference, pages 503\u2013507.","DOI":"10.1109\/EDTC.1995.470354"},{"key":"15_CR8","unstructured":"Fern\u00e1ndez, Mary F. 1995 (November). A Retargetable Optimizing Linker. PhD thesis, Dept of Computer Science, Princeton University."},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/131080.131089","volume":"27","author":"C. W. Fraser","year":"1992","unstructured":"Fraser, Christopher W., Robert R. Henry, and Todd A. Proebsting. 1992 (April). BURG\u2014fast optimal instruction selection and tree parsing. SIGPLAN Notices, 27(4):68\u201376.","journal-title":"SIGPLAN Notices"},{"key":"15_CR10","unstructured":"Intel Corporation. 1993. Architecture and Programming Manual. Vol. 3 of Pentium Processor User\u2019s Manual. Mount Prospect, IL."},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/223428.207163","volume":"30","author":"J. R. Larus","year":"1995","unstructured":"Larus, James R. and Eric Schnarr. 1995 (June). EEL: machine-independent executable editing. Proceedings of the ACM SIGPLAN \u201995 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 30(6):291\u2013300.","journal-title":"SIGPLAN Notices"},{"key":"15_CR12","volume-title":"Technical Report 966","author":"J. R. Larus","year":"1990","unstructured":"Larus, James R. 1990 (September). SPIM S20: A MIPS R2000 simulator. Technical Report 966, Computer Sciences Department, University of Wisconsin, Madison, WI."},{"key":"15_CR13","unstructured":"Lipsett, R., C. Schaefer, and C. Ussery. 1993. VHDL: Hardware Description and Design. 12 edition. Kluwer Academic Publishers."},{"key":"15_CR14","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, Robin, Mads Tofte, and Robert W. Harper. 1990. The Definition of Standard ML. Cambridge, Massachusetts: MIT Press."},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, Robin. 1978 (December). A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"15_CR16","unstructured":"Morrisett, Greg. 1995 (December). Compiling with Types. PhD thesis, Carnegie Mellon. Published as technical report CMU-CS-95-226."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Proebsting, Todd A. and Christopher W. Eraser. 1994 (January). Detecting pipeline structural hazards quickly. In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 280\u2013286, Portland, OR.","DOI":"10.1145\/174675.177904"},{"key":"15_CR18","unstructured":"Ramsey, Norman and Jack W. Davidson. 1997 (November). Specifying instructions\u2019 semantics using CSDL (preliminary report). Technical Report CS-97-31, Department of Computer Science, University of Virginia. Revised, May 1998."},{"issue":"3","key":"15_CR19","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N. Ramsey","year":"1997","unstructured":"Ramsey, Norman and Mary F. Fern\u00e1ndez. 1997 (May). Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, 19(3):492\u2013524.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"7","key":"15_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/143103.143112","volume":"27","author":"N. Ramsey","year":"1992","unstructured":"Ramsey, Norman and David R. Hanson. 1992 (July). A retargetable debugger. ACM SIGPLAN \u201992 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 27(7):22\u201331.","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"15_CR21","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, Norman. 1996 (April). A simple solver for linear equations containing nonlinear operators. Software\u2014Practice & Experience, 26(4):467\u2013487.","journal-title":"Software\u2014Practice & Experience"},{"issue":"6","key":"15_CR22","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/773473.178260","volume":"29","author":"A. Srivastava","year":"1994","unstructured":"Srivastava, Amitabh and Alan Eustace. 1994 (June). ATOM: A system for building customized program analysis tools. Proceedings of the ACM SIGPLAN \u201994 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 29(6):196\u2013205.","journal-title":"SIGPLAN Notices"},{"key":"15_CR23","unstructured":"Stallman, Richard M. 1992 (February). Using and Porting GNU CC (Version 2.0). Free Software Foundation."},{"key":"15_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2365-6","volume-title":"The Verilog Hardware Description Language","author":"D. Thomas","year":"1995","unstructured":"Thomas, Donald and Philip Moorby. 1995. The Verilog Hardware Description Language. 2nd edition. Norwell, USA: Kluwer Academic Publishers.","edition":"2nd edition"},{"key":"15_CR25","unstructured":"Wang, Daniel C., Andrew W. Appel, Jeff L. Korn, and Christopher S. Serra. 1997 (October). The Zephyr abstract syntax description language. In Proceedings of the 2nd USENIX Conference on Domain-Specific Languages, pages 213\u2013227, Santa Barbara, CA."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T19:46:40Z","timestamp":1549914400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650751","9783540496731"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0057790","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}