{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:24:17Z","timestamp":1754483057671},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000504","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"581-585","source":"Crossref","is-referenced-by-count":2,"title":["An algebraic language processing environment"],"prefix":"10.1007","author":[{"given":"Teodor","family":"Rus","sequence":"first","affiliation":[]},{"given":"Tom","family":"Halverson","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Van Wyk","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Kooima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"issue":"4","key":"46_CR1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0096-0551(94)90005-1","volume":"20","author":"T. Rus","year":"1994","unstructured":"T. Rus and T. Halverson. Algebraic tools for language processing. Computer Languages, 20(4):213\u2013238, 1994.","journal-title":"Computer Languages"},{"key":"46_CR2","first-page":"1","volume-title":"Algebraic processing of programming languages","author":"T. Rus","year":"1995","unstructured":"T. Rus. Algebraic processing of programming languages. In A. Nijholt, G. Scollo, and R. Steetskamp, editors, Twente Workshop on Language Technology, pages 1\u201342, University of Twente, Enschede, The Netherlands, 1995."},{"key":"46_CR3","first-page":"271","volume":"90","author":"T. Rus","year":"1991","unstructured":"T. Rus. Algebraic construction of compilers. Theoretical Computer Science, 90:271\u2013308, 1991.","journal-title":"Theoretical Computer Science"},{"key":"46_CR4","volume-title":"PhD thesis","author":"J.L. Knaack","year":"1994","unstructured":"J.L. Knaack. An Algebraic Approach to Language Translation. PhD thesis, The University of Iowa, Department of Computer Science, Iowa City, IA 52242, December 1994."},{"doi-asserted-by":"crossref","unstructured":"T. Rus and E. Van Wyk. Integrating temporal logics and model checking algorithms. In Lecture Notes in Computer Science 1231, pages 95\u2013110, May 21 1997.","key":"46_CR5","DOI":"10.1007\/3-540-63010-4_7"},{"unstructured":"T. Rus and E. Van Wyk. A formal approach to parallelizing compilers. In SIAM Conference on Parallel Processing for Scientific Computation, Proceedings, March 14 1997. Paper available at http:\/\/www.cs.uiowa.edu\/\u223crus.","key":"46_CR6"},{"doi-asserted-by":"crossref","unstructured":"D. Weise and R. Crew. Programable syntax macros. ACM SIGPLAN Notices, 28(6), 1993.","key":"46_CR7","DOI":"10.1145\/173262.155105"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T20:04:07Z","timestamp":1549224247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0000504","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}