{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:58Z","timestamp":1725664198984},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:28:18Z","timestamp":1330273698000},"page":"116-130","source":"Crossref","is-referenced-by-count":4,"title":["From processor timing specifications to static instruction scheduling"],"prefix":"10.1007","author":[{"given":"Ed","family":"Harcourt","sequence":"first","affiliation":[]},{"given":"Jon","family":"Mauney","sequence":"additional","affiliation":[]},{"given":"Todd","family":"Cook","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/69558.75700","volume":"11","author":"A. V. Aho","year":"1989","unstructured":"Alfred V. Aho, Mahadevan Ganapathi, and Steven W.K. Tjiang. Code generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems, 11(4):491\u2013516, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"David Bradlee, Robert Henry, and Susan Eggers. The Marion system for retargetable instruction scheduling. In ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 229\u2013240. ACM, June 1991.","DOI":"10.1145\/113445.113465"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Todd A. Cook, Paul D. Franzon, Ed A. Harcourt, and Thomas K. Miller. System-level specification of instruction sets. In ICCD 93, Proceedings of the International Conference on Computer Design, 1993.","DOI":"10.1109\/ICCD.1993.393316"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Todd A. Cook and Ed Harcourt. A functional specification language for instruction set architectures. In ICCL: Proceedings of the International Conference on Computer Languages, 1994.","DOI":"10.1109\/ICCL.1994.288397"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The Concurrency Workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36\u201372, January 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Juanito Camilleri and Glynn Winskel. CCS with priority choice. In LICS 91: IEEE Symposium on Logic in Computer Science, pages 246\u2013255, 1991.","DOI":"10.1109\/LICS.1991.151649"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Jack W. Davidson. A retargetable instruction reorganizer. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, pages 234\u2013241, 1986.","DOI":"10.1145\/12276.13334"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Christopher W. Fraser. A language for writing code generators. In ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 238\u2013245, 1989.","DOI":"10.1145\/73141.74839"},{"key":"7_CR9","unstructured":"Robert Giegerich. On the structure of verifiable code generator specifications. In ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 1\u20138, 1990."},{"key":"7_CR10","unstructured":"Ed Harcourt, Jon Mauney, and Todd Cook. Specification of instruction-level parallelism. In Proceedings of NAPAW'93, the North American Process Algebra Workshop, 1993."},{"key":"7_CR11","unstructured":"Ed Harcourt, Jon Mauney, and Todd Cook. Formal specification and simulation of instruction-level parallelism. In Proceedings of the 1994 European Design Automation Conference.IEEE Computer Society Press, 1994."},{"key":"7_CR12","unstructured":"Ed Harcourt, Jon Mauney, and Todd Cook. Functional specification and simulation of instruction set architectures. In Proceedings of the International Conference on Simulation and Hardware Description Languages. SCS Press, 1994."},{"key":"7_CR13","unstructured":"Gerry Kane and Joe Heinrich. MIPS RISC Architecture. Prentice Hall, 1992."},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Robin Milner. Calculi for synchrony and asynchrony. Journal of Theoretical Computer Science, 25:267\u2013310, 1983.","journal-title":"Journal of Theoretical Computer Science"},{"key":"7_CR15","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Todd Proebsting and Chris Fraser. Detecting pipeline structural hazards quickly. In POPL'94, Proceedings of the 21st annual symposium on principles of programming languages, 1994.","DOI":"10.1145\/174675.177904"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:06Z","timestamp":1619572686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}