{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:23Z","timestamp":1725494963094},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425786"},{"type":"electronic","value":"9783540448150"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44815-2_7","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:17:24Z","timestamp":1195139844000},"page":"85-99","source":"Crossref","is-referenced-by-count":9,"title":["Grammars as Contracts"],"prefix":"10.1007","author":[{"given":"Merijn","family":"de Jonge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost","family":"Visser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,13]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J. Baeten and W. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer in Science18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"7_CR2","unstructured":"J.A. Bergstra, J. Heering, and P. Klint. The algebraic specification formalism ASF. In J. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, ACM Press Frontier Series, pages 1\u201366. The ACM Press in co-operation with Addison-Wesley, 1989."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61052-9_40","volume-title":"Coordination Languages and Models (COORDINATION\u201996)","author":"J.A. Bergstra","year":"1996","unstructured":"J.A. Bergstra and P. Klint. The ToolBus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models (COORDINATION\u201996), volume 1061 of Lecture Notes in Computer Science, pages 75\u201388. Springer-Verlag, 1996."},{"key":"7_CR4","unstructured":"R.J. Boulton. SYN: A single language for specifying abstract syntax trees, lexical analysis, parsing and pretty-printing. Technical report, Computer laboratory, University of Cambridge, 1996."},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M.G.J. Brand van den","year":"2000","unstructured":"M.G.J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Effficient annotated terms. Software, Practice & Experience, 30(3):259\u2013291, 2000.","journal-title":"Software, Practice & Experience"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"M.G.J. van den Brand, M. P. A. Sellink, and C. Verhoef. Generation of components for software renovation factories from context-free grammars. In Proceedings Fourth Working Conference on Reverse Engineering, pages 144\u2013153. IEEE, 1997.","DOI":"10.1109\/WCRE.1997.624585"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"M.G.J. van den Brand, M. P. A. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In Proceedings of the sixth International Workshop on Program Comprehension, pages 108\u2013117. IEEE, 1998.","DOI":"10.1109\/WPC.1998.693325"},{"key":"7_CR8","unstructured":"T. Bray, J. Paoli, and C. M. Sperberg-McQueen. Extensible Markup Language (XML) 1. 0. Technical ReportREC-xml-19980210, World Wide Web Consortium, 1998."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996.","DOI":"10.1142\/3163"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"A. van Deursen and T. Kuipers. Building documentation generators. In Proceedings; IEEE International Conference on Software Maintenance, pages 40\u201349. IEEE Computer Society Press, 1999.","DOI":"10.1109\/ICSM.1999.792497"},{"issue":"11","key":"7_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/71605.71607","volume":"24","author":"J. Heering","year":"1989","unstructured":"J. Heering, P. R. H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF-Reference manual. SIGPLAN Notices, 24(11):43\u201375, 1989.","journal-title":"SIGPLAN Notices"},{"key":"7_CR12","series-title":"Technical Report Computer Science","volume-title":"YACC-Yet Another Compiler-Compiler","author":"S. C. Johnson","year":"1975","unstructured":"S. C. Johnson. YACC-Yet Another Compiler-Compiler. Technical Report Computer Science No. 32, Bell Laboratories, Murray Hill, New Jersey, 1975."},{"key":"7_CR13","volume-title":"Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000)","author":"M. Jonge de","year":"2000","unstructured":"M. de Jonge. A Pretty-Printer for Every Occasion. In I. Ferguson, J. Gray, and L. Scott, editors, Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000). University of Wollongong, Australia, 2000."},{"key":"7_CR14","unstructured":"J. Kort, R. Lammel, and J. Visser. Functional transformation systems. In Proceedings of the 9th International Workshop on Functional and Logic Programming, Sept. 2000."},{"key":"7_CR15","unstructured":"J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992."},{"key":"7_CR16","unstructured":"E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, 1997."},{"key":"7_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-48685-2_3","volume-title":"Rewriting & Techniques\u2019 and Applications (RTA\u201999)","author":"E. Visser","year":"1999","unstructured":"E. Visser. Strategic pattern matching. In Rewriting & Techniques\u2019 and Applications (RTA\u201999), volume 1631 of Lecture Notes in Computer Science pages 30\u201344. Springer-Verlag, 1999."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"M. Wallace and C. Runciman. Haskell and XML: (Generic Combinators or Type-Based Translation? In International Conference on Functional Programming (ICFP\u201999), Paris, France, ACM SIGPLAN, Sept. 1999.","DOI":"10.1145\/317636.317794"},{"key":"7_CR19","unstructured":"D. C. Wang, A. W. Appel, J. L. Korn, and C. S. Serra. The Zephyr abstract syntax description language. In Proceedings of the USENIX Conference on Domain-Specific Languages, pages 213\u201328, Berkeley, CA, Oct. 15-17 1997. USENIX Association."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"D. S. Wile. Abstract syntax from concrete syntax. In Proceedings of the 19th International, Conference on Software Engineering (ICSE\u2019 97), pages 472\u2013480, Berlin-Heidelberg-New York, May 1997. Springer","DOI":"10.1145\/253228.253388"}],"container-title":["Lecture Notes in Computer Science","Generative and Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44815-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:16:15Z","timestamp":1556975775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44815-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425786","9783540448150"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44815-2_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}