{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:46Z","timestamp":1740028786506,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665595"},{"type":"electronic","value":"9783540481539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48153-2_27","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:28Z","timestamp":1269897208000},"page":"330-333","source":"Crossref","is-referenced-by-count":0,"title":["Refinement and Property Checking in High-Level Synthesis Using Attribute Grammars"],"prefix":"10.1007","author":[{"given":"George","family":"Economakos","sequence":"first","affiliation":[]},{"given":"George","family":"Papakonstantinou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"P. Deransart and J. Maluszynski. A Grammatical View of Logic Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/3345.001.0001"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"G. Economakos and G. Papakonstantinou. Exploiting the use of VHDL specifications in the AGENDA high-level synthesis environment. In 24th EUROMICRO Conference, Workshop on Digital System Design, pages 91\u201398. EUROMICRO, 1998.","DOI":"10.1109\/EURMIC.1998.711782"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"G. Economakos, G. Papakonstantinou, K. Pekmestzi, and P. Tsanakas. Hardware compilation using attribute grammars. In Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pages 273\u2013290. IFIP WG 10.5, 1997.","DOI":"10.1007\/978-0-387-35190-2_18"},{"issue":"9","key":"27_CR4","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/0950-5849(95)97293-H","volume":"37","author":"G. Economakos","year":"1995","unstructured":"G. Economakos, G. Papakonstantinou, and P. Tsanakas. An attribute grammar approach to high-level automated hardware synthesis. Information and Software Technology, 37(9):493\u2013502, 1995.","journal-title":"Information and Software Technology"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"G. Economakos, G. Papakonstantinou, and P. Tsanakas. AGENDA: An attribute grammar driven environment for the design automation of digital systems. In Design Automation and Test in Europe Conference and Exhibition, pages 933\u2013934. ACM\/IEEE, 1998.","DOI":"10.1109\/DATE.1998.655976"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"G. Economakos, G. Papakonstantinou, and P. Tsanakas. Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs. In Symposium on Applied Computing, pages 45\u201349. ACM, 1998.","DOI":"10.1145\/330560.330568"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"D. Gajski, N. Dutt, A. Wu, and S. Lin. High-Level Synthesis. Kluwer Academic Publishers, 1992.","DOI":"10.1007\/978-1-4615-3636-9"},{"issue":"2","key":"27_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127\u2013145, 1968.","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/250243.250245","volume":"2","author":"Y.-L. Lin","year":"1997","unstructured":"Y-L. Lin. Recent development in high level synthesis. ACM Transactions on Design Automation of Electronic Systems, 2(1):2\u201321, 1997.","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"issue":"2","key":"27_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/5.52214","volume":"78","author":"M. C. McFarland","year":"1990","unstructured":"M. C. McFarland, A. C. Parker, and R. Camposano. The high-level synthesis of digital systems. Proceedings of the IEEE, 78(2):301\u2013318, 1990.","journal-title":"Proceedings of the IEEE"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Fitting formal methods into the design cycle. In 31st Design Automation Conference, pages 314\u2013319. ACM\/IEEE, 1994.","DOI":"10.1145\/196244.196392"},{"issue":"2","key":"27_CR12","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/210376.197409","volume":"27","author":"J. Paaki","year":"1995","unstructured":"J. Paaki. Attribute grammar paradigms-a high-level methodology in language implementation. ACM Computing Surveys, 27(2):196\u2013255, 1995.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"27_CR13","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/54.386007","volume":"12","author":"R. A. Walker","year":"1995","unstructured":"R. A. Walker and S. Chaudhuri. High-level synthesis: Introduction to the scheduling problem. IEEE Design \u2130 Test of Computers, 12(2):60\u201369, 1995.","journal-title":"IEEE Design \u2130 Test of Computers"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48153-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:14:13Z","timestamp":1739992453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48153-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665595","9783540481539"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48153-2_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}