{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T23:30:06Z","timestamp":1676935806985},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11334-009-0111-6","type":"journal-article","created":{"date-parts":[[2009,12,31]],"date-time":"2009-12-31T11:28:25Z","timestamp":1262258905000},"page":"145-153","source":"Crossref","is-referenced-by-count":6,"title":["An agile approach to language modelling and development"],"prefix":"10.1007","volume":"6","author":[{"given":"Adrian","family":"Johnstone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter D.","family":"Mosses","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,1]]},"reference":[{"key":"111_CR1","unstructured":"Ambler SW (2009) Agile Modeling (AM). http:\/\/www.agilemodeling.com"},{"key":"111_CR2","doi-asserted-by":"crossref","unstructured":"Balaban I, Tip F, Fuhrer RM (2005) Refactoring support for class library migration. In: OOPSLA 2005, ACM, New York, pp 265\u2013279","DOI":"10.1145\/1094811.1094832"},{"key":"111_CR3","unstructured":"Brown DF, Moura H, Watt DA (1992) Actress: an action semantics directed compiler generator. In: CC \u201992. LNCS, vol 641. Springer, Berlin, pp 95\u2013109"},{"key":"111_CR4","doi-asserted-by":"crossref","unstructured":"Chalub F, Braga C (2007) Maude MSOS tool. In: WRLA 2006. ENTCS, vol 176(4). Elsevier, Amsterdam, pp 133\u2013146","DOI":"10.1016\/j.entcs.2007.06.012"},{"issue":"1","key":"111_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K-G Doh","year":"2003","unstructured":"Doh K-G, Mosses PD (2003) Composing programming languages by combining action-semantics modules. Sci Comput Program 47(1): 3\u201336","journal-title":"Sci Comput Program"},{"issue":"1\u20133","key":"111_CR6","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.scico.2007.02.003","volume":"69","author":"T Ekman","year":"2007","unstructured":"Ekman T, Hedin G (2007) The JastAdd system\u2014modular extensible compiler construction. Sci Comput Program 69(1\u20133): 14\u201326","journal-title":"Sci Comput Program"},{"key":"111_CR7","volume-title":"The Java language specification","author":"J Gosling","year":"1996","unstructured":"Gosling J, Joy B, Steele G (1996) The Java language specification, 1st edn. Addison-Wesley, Reading","edition":"1"},{"key":"111_CR8","volume-title":"The Java language specification","author":"J Gosling","year":"2005","unstructured":"Gosling J, Joy B, Steele G, Bracha G (2005) The Java language specification, 3rd edn. Addison-Wesley, Reading","edition":"3"},{"key":"111_CR9","first-page":"9","volume-title":"Specification and validation methods.","author":"Y Gurevich","year":"1995","unstructured":"Gurevich Y (1995) Evolving algebras 1993: Lipari guide. In: B\u00f6rger E (ed) Specification and validation methods. Oxford University Press, Oxford, pp 9\u201336"},{"issue":"3","key":"111_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/351159.351173","volume":"35","author":"J Heering","year":"2000","unstructured":"Heering J, Klint P (2000) Semantics of programming languages: a tool-oriented approach. SIGPLAN Notices 35(3): 39\u201348","journal-title":"SIGPLAN Notices"},{"key":"111_CR11","doi-asserted-by":"crossref","unstructured":"Hudak P, Hughes J, Peyton Jones SL, Wadler P (2007) A history of Haskell: being lazy with class. In: HOPL III, ACM, New York, pp 12.1\u201312.55","DOI":"10.1145\/1238844.1238856"},{"issue":"2","key":"111_CR12","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.scico.2006.05.013","volume":"68","author":"J Iversen","year":"2007","unstructured":"Iversen J (2007) An action compiler targeting Standard ML. Sci Comput Program 68(2): 79\u201394","journal-title":"Sci Comput Program"},{"key":"111_CR13","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1049\/ip-sen:20041182","volume":"152","author":"J Iversen","year":"2005","unstructured":"Iversen J, Mosses PD (2005) Constructive action semantics for Core ML. IEE Proc-Softw 152: 79\u201398","journal-title":"IEE Proc-Softw"},{"key":"111_CR14","doi-asserted-by":"crossref","unstructured":"Jaskelioff M (2009) Modular monad transformers. In: ESOP 2009. LNCS, vol 5502. Springer, Berlin, pp 64\u201379","DOI":"10.1007\/978-3-642-00590-9_6"},{"key":"111_CR15","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.scico.2007.01.016","volume":"69","author":"A Johnstone","year":"2007","unstructured":"Johnstone A, Scott E (2007) Proofs and pedagogy; science and systems: The Grammar Tool Box. Sci Comput Program 69: 76\u201385","journal-title":"Sci Comput Program"},{"issue":"7","key":"111_CR16","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1007\/BF01177548","volume":"31","author":"U Kastens","year":"1994","unstructured":"Kastens U, Waite WM (1994) Modularity and reusability in attribute grammars. Acta Inf 31(7): 601\u2013627","journal-title":"Acta Inf"},{"issue":"5","key":"111_CR17","first-page":"416","volume":"3","author":"P Kutter","year":"1997","unstructured":"Kutter P, Pierantonio A (1997) Montages: specifications of realistic programming languages. J Univers Comput Sci 3(5): 416\u2013442","journal-title":"J Univers Comput Sci"},{"key":"111_CR18","unstructured":"Labra Gayo JE, Cueva Lovelle JM, Luengo D\u00edez MC, Cernuda del R\u00edo A (2002) Reusable monadic semantics of object oriented programming languages. In: SBLP 2002, PUC-Rio, Brazil, pp 86\u2013100"},{"key":"111_CR19","doi-asserted-by":"crossref","unstructured":"Liang S, Hudak P (1996) Modular denotational semantics for compiler construction. In: ESOP \u201996. LNCS, vol 1058. Springer, Berlin, pp 219\u2013234","DOI":"10.1007\/3-540-61055-3_39"},{"key":"111_CR20","doi-asserted-by":"crossref","unstructured":"Milner R, Tofte M, Harper R, MacQueen D (1997) The Definition of Standard ML\u2014Revised. MIT Press, Cambridge","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"111_CR21","unstructured":"Moggi E (1989) An abstract view of programming languages. Tech. Rep. ECS-LFCS-90-113, Univ. of Edinburgh"},{"key":"111_CR22","volume-title":"Action Semantics, Cambridge Tracts in Theoretical Computer Science, vol 26","author":"PD Mosses","year":"1992","unstructured":"Mosses PD (1992) Action Semantics, Cambridge Tracts in Theoretical Computer Science, vol 26. Cambridge University Press, Cambridge"},{"key":"111_CR23","doi-asserted-by":"crossref","unstructured":"Mosses PD (1996) Theory and practice of action semantics. In: MFCS \u201996. LNCS, vol 1113. Springer, Berlin, pp 37\u201361","DOI":"10.1007\/3-540-61550-4_139"},{"key":"111_CR24","doi-asserted-by":"crossref","unstructured":"Mosses PD (2002) Pragmatics of modular SOS. In: AMAST\u201902. LNCS, vol 2422. Springer, Berlin, pp 21\u201340","DOI":"10.1007\/3-540-45719-4_3"},{"key":"111_CR25","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60\u201361","author":"PD Mosses","year":"2004","unstructured":"Mosses PD (2004) Modular structural operational semantics. J Log Algebraic Program 60\u201361: 195\u2013228","journal-title":"J Log Algebraic Program"},{"key":"111_CR26","doi-asserted-by":"crossref","unstructured":"Mosses PD (2008) Component-based description of programming languages. In: Visions of computer science, BCS, electronic proceedings, pp 275\u2013286","DOI":"10.14236\/ewic\/VOCS2008.23"},{"key":"111_CR27","doi-asserted-by":"crossref","unstructured":"Mosses PD (2009) Component-based semantics. In: SAVCBS \u201909, ACM, New York, pp 3\u201310","DOI":"10.1145\/1596486.1596489"},{"key":"111_CR28","doi-asserted-by":"crossref","unstructured":"Mosses PD, New MJ (2009) Implicit propagation in structural operational semantics. In: SOS 2008. ENTCS, vol 229, issue 9. Elsevier, Amsterdam, pp 49\u201366","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"111_CR29","unstructured":"Mosses PD, Watt DA (1987) The use of action semantics. In: Formal description of programming concepts III. North-Holland, Amsterdam, pp 135\u2013166"},{"key":"111_CR30","doi-asserted-by":"crossref","unstructured":"de Moura HP, Watt DA (1994) Action transformations in the ACTRESS compiler generator. In: CC \u201994. LNCS, vol 786. Springer, Berlin, pp 16\u201360","DOI":"10.1007\/3-540-57877-3_2"},{"key":"111_CR31","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin GD (2004) A structural approach to operational semantics. J Log Algebraic Program 60\u201361: 17\u2013139","journal-title":"J Log Algebraic Program"},{"key":"111_CR32","doi-asserted-by":"crossref","unstructured":"Plotkin GD, Power AJ (2004) Computational effects and operations: an overview. In: Domains VI. ENTCS, vol 73. Elsevier, Amsterdam, pp 149\u2013163","DOI":"10.1016\/j.entcs.2004.08.008"},{"issue":"4","key":"111_CR33","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/1146809.1146810","volume":"28","author":"E Scott","year":"2006","unstructured":"Scott E, Johnstone A (2006) Right nulled GLR parsers. ACM Trans Program Lang Syst 28(4): 577\u2013618","journal-title":"ACM Trans Program Lang Syst"},{"key":"111_CR34","doi-asserted-by":"crossref","unstructured":"Scott E, Johnstone A (2010) GLL parsing. In: LDTA 2009, ENTCS. Elsevier, Amsterdam (to appear)","DOI":"10.1016\/j.entcs.2010.08.041"},{"issue":"6","key":"111_CR35","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/s00236-007-0054-z","volume":"44","author":"E Scott","year":"2007","unstructured":"Scott E, Johnstone A, Economopoulos G (2007) A cubic Tomita-style GLR parsing algorithm. Acta Inf 44(6): 427\u2013461","journal-title":"Acta Inf"},{"key":"111_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine","author":"R St\u00e4rk","year":"2001","unstructured":"St\u00e4rk R, Schmid J, B\u00f6rger E (2001) Java and the Java Virtual Machine. Springer, Berlin"},{"key":"111_CR37","doi-asserted-by":"crossref","unstructured":"van den Brand M, van Deursen A, Heering J, de Jong HA, de Jonge M, Kuipers T, Klint P, Moonen L, Olivier PA, Scheerder J, Vinju JJ, Visser E, Visser J (2001) The ASF+SDF meta-environment: a component-based language development environment. In: CC 2001. LNCS, vol 2027. Springer, Berlin, pp 365\u2013370","DOI":"10.1007\/3-540-45306-7_26"},{"key":"111_CR38","doi-asserted-by":"crossref","unstructured":"van den Brand M, Scheerder J, Vinju JJ, Visser E (2002) Disambiguation filters for scannerless generalized LR parsers. In: CC 2002. LNCS, vol 2304. Springer, Berlin, pp 143\u2013158","DOI":"10.1007\/3-540-45937-5_12"},{"issue":"3","key":"111_CR39","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.scico.2006.04.005","volume":"61","author":"M Brand van den","year":"2006","unstructured":"van den Brand M, Iversen J, Mosses PD (2006) An action environment. Sci Comput Program 61(3): 245\u2013264","journal-title":"Sci Comput Program"},{"key":"111_CR40","doi-asserted-by":"crossref","unstructured":"van Deursen A, Heering J, Klint P (eds) (1996) Language prototyping: an algebraic specification approach, AMAST series in computing, vol 5. World Scientific, Singapore","DOI":"10.1142\/3163"},{"key":"111_CR41","unstructured":"Visser E (1997) Syntax definition for language prototyping. PhD thesis, University of Amsterdam"},{"key":"111_CR42","doi-asserted-by":"crossref","unstructured":"Visser E (2004) Program transformation with Stratego\/XT: Rules, strategies, tools, and systems in Stratego\/XT 0.9. In: Domain-specific program generation. LNCS, vol 3016. Springer, Berlin, pp 216\u2013238","DOI":"10.1007\/978-3-540-25935-0_13"},{"key":"111_CR43","doi-asserted-by":"crossref","unstructured":"Watt DA (1988) An action semantics of Standard ML. In: MFPS III. LNCS, vol 298. Springer, Berlin, pp 572\u2013598","DOI":"10.1007\/3-540-19020-1_30"},{"key":"111_CR44","volume-title":"Programming language design concepts","author":"DA Watt","year":"2004","unstructured":"Watt DA (2004) Programming language design concepts. John Wiley & Sons, New York"},{"key":"111_CR45","volume-title":"Programming language syntax and semantics","author":"DA Watt","year":"1991","unstructured":"Watt DA, Thomas M (1991) Programming language syntax and semantics. Prentice-Hall, Englewood Cliffs"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0111-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0111-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0111-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T10:43:29Z","timestamp":1590489809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0111-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,1]]},"references-count":45,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["111"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0111-6","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,1]]}}}