{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:20:01Z","timestamp":1648740001628},"reference-count":42,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"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":["Computer Languages"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1016\/0096-0551(94)90005-1","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:04:53Z","timestamp":1060297493000},"page":"213-238","source":"Crossref","is-referenced-by-count":12,"title":["Algebraic tools for language processing"],"prefix":"10.1016","volume":"20","author":[{"given":"Teodor","family":"Rus","sequence":"first","affiliation":[]},{"given":"Tom","family":"Halverson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(94)90005-1_BIB1","series-title":"Proceedings of International Conferences on Information Processing","first-page":"125","article-title":"The syntax and semantics of the proposed international algebraic language of Z\u00fcrich acm-gamm conference","author":"Backus","year":"1959"},{"issue":"5","key":"10.1016\/0096-0551(94)90005-1_BIB2","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/367236.367262","article-title":"Report on the algorithmic language Algol 60","volume":"3","author":"Naur","year":"1960","journal-title":"Commun. ACM"},{"key":"10.1016\/0096-0551(94)90005-1_BIB3","series-title":"Proceedings of Specifications of Reliable Software Conference","article-title":"An introduction to obj: a language for testing and writing formal algebraic specifications","author":"Goguen","year":"1979"},{"key":"10.1016\/0096-0551(94)90005-1_BIB4","series-title":"Conference Records of the Twelfth Annual ACM Symposium on Principles of Programming Languages","first-page":"52","article-title":"Principles of obj2","author":"Futatsugi","year":"1985"},{"key":"10.1016\/0096-0551(94)90005-1_BIB5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0167-6423(86)90006-7","article-title":"Cigale: A tool for interactive grammar construction and expression parsing","volume":"7","author":"Voisin","year":"1986","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0096-0551(94)90005-1_BIB6","series-title":"Compilers\u2014Principles, Techniques, and Tools","author":"Aho","year":"1986"},{"key":"10.1016\/0096-0551(94)90005-1_BIB7","series-title":"Interactive Programming Environments","first-page":"128","article-title":"Programming environments based on structured editors: the mentor experience","author":"Donzeau-Gouge","year":"1984"},{"key":"10.1016\/0096-0551(94)90005-1_BIB8","series-title":"The Synthesizer Generator: a System for Constructing Language-Based Editors","author":"Reps","year":"1989"},{"key":"10.1016\/0096-0551(94)90005-1_BIB9","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1109\/TSE.1986.6313007","article-title":"Gandalf: software development environment","volume":"12","author":"Haberman","year":"1986","journal-title":"IEEE Transact. Software Engng"},{"key":"10.1016\/0096-0551(94)90005-1_BIB10","series-title":"Putting the Technology to Use","first-page":"349","article-title":"The graspin software engineering environment","author":"Endres","year":"1988"},{"key":"10.1016\/0096-0551(94)90005-1_BIB11","series-title":"Lecture Notes in Computer Science 490","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-53912-3_20","article-title":"A meta-environment for generating programming environments","author":"Klint","year":"1991"},{"key":"10.1016\/0096-0551(94)90005-1_BIB12","series-title":"The Mathematical Theory of Context-Free Languages","author":"Gisnsburg","year":"1966"},{"key":"10.1016\/0096-0551(94)90005-1_BIB13","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"issue":"3","key":"10.1016\/0096-0551(94)90005-1_BIB14","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1016\/S0019-9958(63)90306-1","article-title":"On context-free languages and pushdown automata","volume":"6","author":"Schutzenberger","year":"1963","journal-title":"Inform. Control"},{"key":"10.1016\/0096-0551(94)90005-1_BIB15","series-title":"Current Trends in Programming Methodology IV: Data Structuring","first-page":"80","article-title":"An initial algebra approach to the specification, correctness, and implementation of abstract data types","author":"Goguen","year":"1978"},{"key":"10.1016\/0096-0551(94)90005-1_BIB16","series-title":"Grand challenges: high performance computing and communications","year":"1992"},{"issue":"4","key":"10.1016\/0096-0551(94)90005-1_BIB17","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.4672","article-title":"Parsing languages by pattern-matching","volume":"14","author":"Rus","year":"1988","journal-title":"IEEE Transact. Software Engng"},{"key":"10.1016\/0096-0551(94)90005-1_BIB18","first-page":"271","article-title":"Algebraic construction of compilers","volume":"90","author":"Rus","year":"1991","journal-title":"Theoretical Comput. Sci."},{"key":"10.1016\/0096-0551(94)90005-1_BIB19","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1002\/mana.19630270108","article-title":"Algebras with a scheme of operators","volume":"27","author":"Higgins","year":"1963","journal-title":"Mathematische Nachrichten"},{"key":"10.1016\/0096-0551(94)90005-1_BIB20","series-title":"Proceedings of Symposium on Applied Mathematics 19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1090\/psapm\/019\/0242403","article-title":"Correctness of a compiler for arithmetic expressions","author":"McCarthy","year":"1967"},{"key":"10.1016\/0096-0551(94)90005-1_BIB21","first-page":"17","article-title":"Programs and their proofs: an algebraic approach","volume":"4","author":"Burstall","year":"1969","journal-title":"Machine Intelligence"},{"issue":"63","key":"10.1016\/0096-0551(94)90005-1_BIB22","first-page":"227","article-title":"\u03c3s-algebra of a formal language","volume":"15","author":"Rus","year":"1972","journal-title":"Bouletin Math. Soc. Sci."},{"key":"10.1016\/0096-0551(94)90005-1_BIB23","series-title":"Proceedings of ACM Symposium on Principles of Programming Languages","first-page":"144","article-title":"Advice on structuring compilers and proving them correct","author":"Morris","year":"1973"},{"key":"10.1016\/0096-0551(94)90005-1_BIB24","series-title":"Lecture Notes in Computer Science 45, MFCs '76 Proceedings of a Symposium on Mathematical Foundations of Computer Science","first-page":"488","article-title":"Context-free algebra: a mathematical device for compiler specification","author":"Rus","year":"1976"},{"issue":"3","key":"10.1016\/0096-0551(94)90005-1_BIB25","first-page":"269","article-title":"Has-hierarchy: a natural tool for language specification","volume":"3","author":"Rus","year":"1980","journal-title":"Ann. Soc. Math. Polonae Series IV: Fundamenta Informaticae"},{"key":"10.1016\/0096-0551(94)90005-1_BIB26","series-title":"Semantics-Directed Compiler Generation","first-page":"189","article-title":"A constructive approach to compiler correctness","author":"Mosses","year":"1980"},{"key":"10.1016\/0096-0551(94)90005-1_BIB27","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(81)90080-3","article-title":"More on advice on structuring compilers and proving them correct","volume":"15","author":"Thatcher","year":"1981","journal-title":"Theoretical Comput. Sci."},{"key":"10.1016\/0096-0551(94)90005-1_BIB28","series-title":"Formal Tools for Language Specification","author":"Rus","year":"1983"},{"issue":"3\/4","key":"10.1016\/0096-0551(94)90005-1_BIB29","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0096-0551(87)90021-X","article-title":"An algebraic model for programming languages","volume":"12","author":"Rus","year":"1987","journal-title":"Comput. Lang."},{"key":"10.1016\/0096-0551(94)90005-1_BIB30","article-title":"Macro-processors as compiler code generators","author":"Lee","year":"1990"},{"key":"10.1016\/0096-0551(94)90005-1_BIB31","series-title":"Proceedings of the International Conference Algebraic Methodology and Software Technology","first-page":"264","article-title":"Twolev: a two-level scanner","author":"Knaack","year":"1992"},{"key":"10.1016\/0096-0551(94)90005-1_BIB32","series-title":"Proceedings of ICCL\u2014International Conference on Computer Languages","first-page":"110","article-title":"Language specification by multi-axiom grammars","author":"Rus","year":"1988"},{"key":"10.1016\/0096-0551(94)90005-1_BIB33","first-page":"109","article-title":"D\u00e9rivations et r\u00e9ductions dans les gramaire alg\u00e9briques","volume":"85","author":"Boasson","year":"1980"},{"issue":"2\u20133","key":"10.1016\/0096-0551(94)90005-1_BIB34","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1080\/01969727608927525","article-title":"Context-free algebras","volume":"6","author":"Hatcher","year":"1976","journal-title":"J. Cybernetics"},{"issue":"3","key":"10.1016\/0096-0551(94)90005-1_BIB35","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/321172.321179","article-title":"Syntactic analysis and operator precedence","volume":"10","author":"Floyd","year":"1963","journal-title":"J. ACM"},{"issue":"2","key":"10.1016\/0096-0551(94)90005-1_BIB36","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/363921.363927","article-title":"Bounded context syntactic analysis","volume":"7","author":"Floyd","year":"1964","journal-title":"Commun. AMC"},{"key":"10.1016\/0096-0551(94)90005-1_BIB37","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1016\/S0019-9958(75)90330-7","article-title":"Bounded context parsing","volume":"28","author":"Williams","year":"1975","journal-title":"Inform. Control"},{"key":"10.1016\/0096-0551(94)90005-1_BIB38","series-title":"IEEE 14th Annual Symposium on Switching and Automata Theory","first-page":"122","article-title":"Non-canonical parsing","author":"Szymanski","year":"1973"},{"issue":"5","key":"10.1016\/0096-0551(94)90005-1_BIB39","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/362349.362359","article-title":"An algorithm for the construction of bounded-context parsers","volume":"13","author":"Loeckx","year":"1970","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/0096-0551(94)90005-1_BIB40","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","article-title":"Modeling concurrency with partial orders","volume":"15","author":"Pratt","year":"1986","journal-title":"Int. J. Parallel Programming"},{"key":"10.1016\/0096-0551(94)90005-1_BIB41","series-title":"Parallel pattern-matching parsers","author":"Rus","year":"1993"},{"key":"10.1016\/0096-0551(94)90005-1_BIB42","article-title":"The algebraic approach to compilation","author":"Knaack","year":"1994"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055194900051?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055194900051?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:26:56Z","timestamp":1552634816000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055194900051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["0096055194900051"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(94)90005-1","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}