{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T20:16:50Z","timestamp":1648844210193},"reference-count":32,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1016\/0950-5849(95)97293-h","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:50:49Z","timestamp":1027612249000},"page":"493-502","source":"Crossref","is-referenced-by-count":11,"title":["An attribute grammar approach to high-level automated hardware synthesis"],"prefix":"10.1016","volume":"37","author":[{"given":"George","family":"Economakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Papakonstantinou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panayotis","family":"Tsanakas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No 2","key":"10.1016\/0950-5849(95)97293-H_BIB1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","article-title":"Semantics of context-free languages","volume":"Vol 2","author":"Knuth","year":"1968","journal-title":"Math. Syst. Theory"},{"issue":"No 3","key":"10.1016\/0950-5849(95)97293-H_BIB2","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/comjnl\/29.3.241","article-title":"Knowledge representation with attribute grammars","volume":"Vol 29","author":"Papakonstantinou","year":"1986","journal-title":"Comput. J."},{"key":"10.1016\/0950-5849(95)97293-H_BIB3","first-page":"382","article-title":"An attribute grammar interpreter as a knowledge engineering tool","volume":"Vol 9","author":"Papakonstantinou","year":"1986","journal-title":"Angew. Inf."},{"key":"10.1016\/0950-5849(95)97293-H_BIB4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","article-title":"Relating logic programs and attribute grammars","volume":"Vol 2","author":"Deransart","year":"1985","journal-title":"J. Logic Programming"},{"issue":"No 3","key":"10.1016\/0950-5849(95)97293-H_BIB5","doi-asserted-by":"crossref","DOI":"10.1147\/rd.303.0294","article-title":"Compiling circular attribute grammars into Prolog","volume":"Vol 30","author":"Arbab","year":"1986","journal-title":"IBM J. Res. & Development"},{"key":"10.1016\/0950-5849(95)97293-H_BIB6","author":"Waite","year":"1984"},{"key":"10.1016\/0950-5849(95)97293-H_BIB7","author":"Aho","year":"1986"},{"issue":"No 5","key":"10.1016\/0950-5849(95)97293-H_BIB8","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/0950-5849(88)90024-9","article-title":"Attribute grammars and dataflow computing","volume":"Vol 30","author":"Papakonstantinou","year":"1988","journal-title":"Inf. and Soft. Technol."},{"issue":"No 7","key":"10.1016\/0950-5849(95)97293-H_BIB9","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TCS.1981.1085036","article-title":"A design methodology and computer aids for digital VLSI systems","volume":"Vol 28","author":"Director","year":"1981","journal-title":"IEEE Trans. on Circuits and Systems"},{"issue":"No 1","key":"10.1016\/0950-5849(95)97293-H_BIB10","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TCAD.1983.1270016","article-title":"A formal method for the specification, analysis, and design of register-transfer level digital logic","volume":"Vol 2","author":"Hafer","year":"1983","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 7","key":"10.1016\/0950-5849(95)97293-H_BIB11","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1109\/TC.1983.1676294","article-title":"An abstract model of behavior for hardware descriptions","volume":"Vol 32","author":"McFarland","year":"1983","journal-title":"IEEE Trans. on Computers"},{"key":"10.1016\/0950-5849(95)97293-H_BIB12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.1985.1662797","article-title":"Concurrent Prolog as an efficient VLSI design language","author":"Suzuki","year":"1985","journal-title":"IEEE Computer"},{"key":"10.1016\/0950-5849(95)97293-H_BIB13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MC.1986.1663203","article-title":"Computer-aided design of integrated circuits","author":"Carter","year":"1986","journal-title":"IEEE Computer"},{"issue":"No 3","key":"10.1016\/0950-5849(95)97293-H_BIB14","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/TCAD.1986.1270207","article-title":"Automated synthesis of data paths in digital systems","volume":"Vol 5","author":"Tseng","year":"1986","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 2","key":"10.1016\/0950-5849(95)97293-H_BIB15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/TCAD.1987.1270270","article-title":"Flamel: a high-level hardware compiler","volume":"Vol 6","author":"Trickey","year":"1987","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 3","key":"10.1016\/0950-5849(95)97293-H_BIB16","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/43.3169","article-title":"Sehwa: a software package for synthesis of pipelines from behavioral specifications","volume":"Vol 7","author":"Park","year":"1988","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 2","key":"10.1016\/0950-5849(95)97293-H_BIB17","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1109\/43.21835","article-title":"Synthesizing circuits from behavioral descriptions","volume":"Vol 8","author":"Camposano","year":"1989","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 6","key":"10.1016\/0950-5849(95)97293-H_BIB18","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/43.31521","article-title":"HARP: Fortran to silicon","volume":"Vol 8","author":"Tanaka","year":"1989","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 6","key":"10.1016\/0950-5849(95)97293-H_BIB19","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/43.31522","article-title":"Force-directed scheduling for the behavioral synthesis of ASIC's","volume":"Vol 8","author":"Paulin","year":"1989","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No 7","key":"10.1016\/0950-5849(95)97293-H_BIB20","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1109\/43.31534","article-title":"Algorithms for hardware allocation in data path synthesis","volume":"Vol 8","author":"Devadas","year":"1989","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"10.1016\/0950-5849(95)97293-H_BIB21","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/2.43523","article-title":"A structured approach for VLSI circuit design","author":"Gu","year":"1989","journal-title":"IEEE Computer"},{"key":"10.1016\/0950-5849(95)97293-H_BIB22","first-page":"301","article-title":"The high-level synthesis of digital systems","volume":"Vol 78","author":"McFarland","year":"1990"},{"key":"10.1016\/0950-5849(95)97293-H_BIB23","series-title":"Computer hardware description languages and their applications","first-page":"131","article-title":"High-level specification and synthesis of sequential logic modules","author":"Hou","year":"1991"},{"issue":"No 1","key":"10.1016\/0950-5849(95)97293-H_BIB24","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/43.62794","article-title":"Path-based scheduling for synthesis","volume":"Vol 10","author":"Camposano","year":"1991","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"10.1016\/0950-5849(95)97293-H_BIB25","series-title":"SIGPLAN 83 Symp. Programming Language Issues in Software Systems","first-page":"28","article-title":"Attribute grammars and dataflow languages","author":"Farrow","year":"1983"},{"key":"10.1016\/0950-5849(95)97293-H_BIB26","series-title":"Proc. of 22nd Ann. Hawaii Int. Conf. on System Sciences","article-title":"A dedicated dataflow architecture for hardware compilation","volume":"Vol I","author":"Naini","year":"1989"},{"key":"10.1016\/0950-5849(95)97293-H_BIB27","doi-asserted-by":"crossref","DOI":"10.1002\/spe.4380090905","article-title":"A poor man's realization of attribute grammars","author":"Papakonstantinou","year":"1979","journal-title":"Software-Practice and Experience"},{"key":"10.1016\/0950-5849(95)97293-H_BIB28","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1981.230838","article-title":"An interpreter of attribute grammars and its application to waveform analysis","author":"Papakonstantinou","year":"1981","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"No 4","key":"10.1016\/0950-5849(95)97293-H_BIB29","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1982.235578","article-title":"An interpreter of meta-grammars describing syntax-directed interpreters using an attribute grammar","volume":"Vol 8","author":"Kontos","year":"1982","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"10.1016\/0950-5849(95)97293-H_BIB30","article-title":"Attribute grammars","author":"Deransart","year":"1988"},{"issue":"No 1","key":"10.1016\/0950-5849(95)97293-H_BIB31","doi-asserted-by":"crossref","DOI":"10.1093\/comjnl\/32.1.91","article-title":"Semantically driven parsing of context-free languages","volume":"Vol 32","author":"Sideri","year":"1989","journal-title":"Computer J."},{"key":"10.1016\/0950-5849(95)97293-H_BIB32","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0165-6074(91)90363-X","article-title":"A Prolog-based design environment for the high-level synthesis of application-specific architectures","volume":"32","author":"Tsanakas","year":"1991","journal-title":"Microprocessing and Microprogramming"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499597293H?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499597293H?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T18:27:00Z","timestamp":1556303220000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095058499597293H"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":32,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["095058499597293H"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(95)97293-h","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}