{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T06:39:38Z","timestamp":1721889578682},"reference-count":27,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1987,6,1]],"date-time":"1987-06-01T00:00:00Z","timestamp":549504000000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[1987,6]]},"DOI":"10.1016\/0164-1212(87)90019-7","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"145-161","source":"Crossref","is-referenced-by-count":7,"title":["Language definition-based compiler development"],"prefix":"10.1016","volume":"7","author":[{"given":"A.","family":"Rosselet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(87)90019-7_BIB1","article-title":"Report on the wide spectrum language for program specification and development, Technical Report TUM-I8104","author":"Bauer","year":"1981"},{"key":"10.1016\/0164-1212(87)90019-7_BIB2","article-title":"Towards a Formal Description of Ada","volume":"Vol. 98","author":"Bjorner","year":"1980"},{"key":"10.1016\/0164-1212(87)90019-7_BIB3","series-title":"Technical Report CSRG-133","article-title":"Specification of Concurrent Euclid","author":"Cordy","year":"1981"},{"key":"10.1016\/0164-1212(87)90019-7_BIB4","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"Some Transformations for Developing Recursive Programs","volume":"24","author":"Darlington","year":"1977","journal-title":"Journal of the ACM"},{"key":"10.1016\/0164-1212(87)90019-7_BIB5","first-page":"201","article-title":"Program Transformation","volume":"10","author":"Darlington","year":"1985","journal-title":"BYTE Magazine"},{"key":"10.1016\/0164-1212(87)90019-7_BIB6","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/0164-1212(87)90019-7_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/357153.357154","article-title":"A System for Assisting Program Transformation","volume":"4","author":"Feather","year":"1982","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/0164-1212(87)90019-7_BIB8","series-title":"A Logic of Programming","author":"Hehner","year":"1984"},{"key":"10.1016\/0164-1212(87)90019-7_BIB9","article-title":"Functional Programming: Application and Implementation","author":"Henderson","year":"1980","journal-title":"Prentice-Hall International Series in Computer Science"},{"key":"10.1016\/0164-1212(87)90019-7_BIB10","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","article-title":"Proof of Correctness of Data Representations","volume":"2","author":"Hoare","year":"1972","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(87)90019-7_BIB11","article-title":"The Turing Programming Language: Design and Definition","author":"Holt","year":"1986","journal-title":"monograph manuscript for Prentice-Hall"},{"key":"10.1016\/0164-1212(87)90019-7_BIB12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21554-8","article-title":"Pascal User Manual and Report","author":"Jensen","year":"1974"},{"key":"10.1016\/0164-1212(87)90019-7_BIB13","series-title":"Lecture Notes in Computer Science","article-title":"GAG: A Practical Compiler Generator","author":"Kastens","year":"1981"},{"key":"10.1016\/0164-1212(87)90019-7_BIB14","series-title":"Methods and Tools for Compiler Construction","first-page":"165","article-title":"The GAG system\u2014a tool for compiler construction","author":"Kastens","year":"1984"},{"key":"10.1016\/0164-1212(87)90019-7_BIB15","series-title":"Technical Report A-1982-2","article-title":"An experience on language implementation using attribute grammars","author":"Koskimies","year":"1982"},{"key":"10.1016\/0164-1212(87)90019-7_BIB16_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/954666.971189","article-title":"Report on the programming language Euclid","volume":"12","author":"Lampson","year":"1977","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/0164-1212(87)90019-7_BIB16_2","series-title":"report CSL-81-12","year":"1981"},{"key":"10.1016\/0164-1212(87)90019-7_BIB17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00260921","article-title":"Proof Rules for the Programming Language Euclid","volume":"10","author":"London","year":"1978","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(87)90019-7_BIB18","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/321992.322000","article-title":"Program Improvement by Source-to-Source Transformation","volume":"24","author":"Loveman","year":"1977","journal-title":"Journal of the ACM"},{"key":"10.1016\/0164-1212(87)90019-7_BIB19","series-title":"Stanford Verification Group Report 11","article-title":"Stanford Pascal Verifier User Manual","author":"Luckham","year":"1979"},{"key":"10.1016\/0164-1212(87)90019-7_BIB20","series-title":"Technical Note CSRG-27","article-title":"A guide to the Concurrent Euclid XVCG: an experimental verification condition generator","author":"Matthews","year":"1982"},{"key":"10.1016\/0164-1212(87)90019-7_BIB21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10886-6","article-title":"Compiler Specification and Verification","author":"Polak","year":"1981"},{"key":"10.1016\/0164-1212(87)90019-7_BIB22","series-title":"Technical Report CSRG-162","article-title":"Definition and implementation of context conditions for programming languages","author":"Rosselet","year":"1984"},{"key":"10.1016\/0164-1212(87)90019-7_BIB23","series-title":"Canadian Information Processing Society Congress","first-page":"341","article-title":"Computing with equations","author":"Rosselet","year":"1986"},{"key":"10.1016\/0164-1212(87)90019-7_BIB24","series-title":"A denotational definition of the programming language Pascal","author":"Tennent","year":"1977"},{"key":"10.1016\/0164-1212(87)90019-7_BIB25","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/954063.954071","article-title":"An Extended Attribute Grammar for Pascal","volume":"14","author":"Watt","year":"1979","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/0164-1212(87)90019-7_BIB26","series-title":"Methods and Tools for Compiler Construction","first-page":"45","article-title":"Contextual constraints","author":"Watt","year":"1984"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121287900197?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121287900197?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:55:43Z","timestamp":1552618543000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121287900197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,6]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1987,6]]}},"alternative-id":["0164121287900197"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(87)90019-7","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1987,6]]}}}