[{"text":"\n\nC. Bach Poulsen and P. D. Mosses. Deriving pretty-big-step semantics from small-step semantics. In ESOP'14, LNCS. Springer, 2014. To appear.\n\n"},{"text":"\n\nC. Bach Poulsen and P. D. Mosses. Generating specialized interpreters for modular structural operational semantics. In LOPSTR'13, LNCS. Springer, 2014. To appear.\n\n"},{"text":"\n\n\nJ. A. Bergstra , Jan Heering , Paul Klint, Algebraic specification, ACM, New York, NY, 1989 \n\n","citation":"59933"},{"text":"\n\nE. Börger and R. F. Stärk. Exploiting abstraction for specification reuse. the JavaC# case study. In FMCO 2003, volume 3188 of LNCS, pages 42--76. Springer, 2003.\n\n"},{"text":"\n\n\nEgon Börger , Nicu G. Fruja , Vincenzo Gervasi , Robert F. Stärk, A high-level modular definition of the semantics of C#, Theoretical Computer Science, v.336 n.2-3, p.235-284, 26 May 2005   [doi>10.1016/j.tcs.2004.11.008]\n\n","citation":"1085298"},{"text":"\n\n\nMark van den Brand , Jørgen Iversen , Peter D. Mosses, An action environment, Science of Computer Programming, v.61 n.3, p.245-264, August 2006   [doi>10.1016/j.scico.2006.04.005]\n\n","citation":"1149675"},{"text":"\n\n\nMartin Churchill , Peter D. Mosses, Modular bisimulation theory for computations and values, Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures, March 16-24, 2013, Rome, Italy   [doi>10.1007/978-3-642-37075-5_7]\n\n","citation":"2450360"},{"text":"\n\n\nBenjamin Delaware , Steven Keuchel , Tom Schrijvers , Bruno C.d.S. Oliveira, Modular monadic meta-theory, Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, September 25-27, 2013, Boston, Massachusetts, USA   [doi>10.1145/2500365.2500587]\n\n","citation":"2500587","doi":"http://doi.acm.org/10.1145/2500365.2500587"},{"text":"\n\n\nKyung-Goo Doh , Peter D. Mosses, Composing programming languages by combining action-semantics modules, Science of Computer Programming, v.47 n.1, p.3-36, April 2003   [doi>10.1016/S0167-6423(02)00107-7]\n\n","citation":"641884"},{"text":"\n\nS. H. Haeri and S. Schupp. Reusable components for lightweight mechanisation of programming languages. In Software Composition 2013, volume 8088 of LNCS, pages 1--16. Springer, 2013.\n\n"},{"text":"\n\nJ. Heering and P. Klint. The Syntax Definition Formalism SDF, chapter 6. IncitetBergstra1989AS, 1989.\n\n"},{"text":"\n\nJ. Heering and P. Klint. Prehistory of the ASF+SDF system (1980--1984). In ASF+SDF95, pages 1--4. Programming Research Group, University of Amsterdam, 1995. Tech. rep. 9504.\n\n"},{"text":"\n\n\nPaul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California   [doi>10.1145/1238844.1238856]\n\n","citation":"1238856","doi":"http://doi.acm.org/10.1145/1238844.1238856"},{"text":"\n\nJ. Iversen and P. D. Mosses. Constructive action semantics for Core ML. Software, IEEE Proceedings, 152: 79--98, 2005.\n\n"},{"text":"\n\nA. Johnstone, P. D. Mosses, and E. Scott. An agile approach to language modelling and development. Innov. Syst. Softw. Eng., 6 (1--2): 145--153, 2010.\n\n"},{"text":"\n\n\nCasey Klein , John Clements , Christos Dimoulas , Carl Eastlund , Matthias Felleisen , Matthew Flatt , Jay A. McCarthy , Jon Rafkind , Sam Tobin-Hochstadt , Robert Bruce Findler, Run your research: on the effectiveness of lightweight mechanization, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 25-27, 2012, Philadelphia, PA, USA   [doi>10.1145/2103656.2103691]\n\n","citation":"2103691","doi":"http://doi.acm.org/10.1145/2103656.2103691"},{"text":"\n\nP. W. Kutter and A. Pierantonio. Montages specifications of realistic programming languages. J. Univ. Comput. Sci., 3 (5): 416--442, 1997.\n\n"},{"text":"\n\nX. Leroy. Caml light manual, Release 0.74, December 1997. URL http://caml.inria.fr/pub/docs/manual-caml-light.\n\n"},{"text":"\n\n \nMichael Y. Levin , Benjamin C. Pierce, TinkerType: a language for playing with formal systems, Journal of Functional Programming, v.13 n.2, p.295-316, March 2003   [doi>10.1017/S0956796802004550]\n\n","citation":"967855"},{"text":"\n\n\nSheng Liang , Paul Hudak , Mark Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 23-25, 1995, San Francisco, California, USA   [doi>10.1145/199448.199528]\n\n","citation":"199528","doi":"http://doi.acm.org/10.1145/199448.199528"},{"text":"\n\n\nDorel Lucanu , Traian Florin Şerbănuţă , Grigore Roşu, K framework distilled, Proceedings of the 9th international conference on Rewriting Logic and Its Applications, p.31-53, March 24-25, 2012, Tallinn, Estonia   [doi>10.1007/978-3-642-34005-5_3]\n\n","citation":"2413822"},{"text":"\n\nJ. McCarthy. Towards a mathematical science of computation. In Information Processing 1962, pages 21--28. North-Holland, 1962.\n\n"},{"text":"\n\n\nJosé Meseguer , Grigore Roşu, The rewriting logic semantics project: a progress report, Proceedings of the 18th international conference on Fundamentals of computation theory, p.1-37, August 22-25, 2011, Oslo, Norway \n\n","citation":"2034215"},{"text":"\n\n\nRobin Milner , Mads Tofte , David Macqueen, The Definition of Standard ML, MIT Press, Cambridge, MA, 1997 \n\n","citation":"549659"},{"text":"\n\nE. Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90--113, Edinburgh Univ., 1989.\n\n"},{"text":"\n\n\nPeter D. Mosses, Action semantics, Cambridge University Press, New York, NY, 1992 \n\n","citation":"136873"},{"text":"\n\n\nPeter D. Mosses, Theory and Practice of Action Semantics, Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, p.37-61, September 02-06, 1996 \n\n","citation":"667040"},{"text":"\n\nP. D. Mosses. Modular structural operational semantics. J. Log. Algebr. Program., 60--61: 195--228, 2004.\n\n"},{"text":"\n\nP. D. Mosses. A constructive approach to language definition. J. Univ. Comput. Sci., 11 (7): 1117--1134, 2005.\n\n"},{"text":"\n\n\nPeter D. Mosses, Component-based description of programming languages, Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference, p.275-286, September 22-24, 2008, London, UK \n\n","citation":"2227559"},{"text":"\n\n\nPeter D. Mosses, Component-based semantics, Proceedings of the 8th international workshop on Specification and verification of component-based systems, August 25-25, 2009, Amsterdam, The Netherlands   [doi>10.1145/1596486.1596489]\n\n","citation":"1596489","doi":"http://doi.acm.org/10.1145/1596486.1596489"},{"text":"\n\n\nPeter D. Mosses, VDM semantics of programming languages: combinators and monads, Formal Aspects of Computing, v.23 n.2, p.221-238, March 2011   [doi>10.1007/s00165-009-0145-4]\n\n","citation":"1966638"},{"text":"\n\nP. D. Mosses. Semantics of programming languages: Using ASF+SDF. Sci. Comput. Program., 2013.\n\n"},{"text":"\n\n\n\nPeter D. Mosses , Mark J. New, Implicit Propagation in Structural Operational Semantics, Electronic Notes in Theoretical Computer Science (ENTCS), v.229 n.4, p.49-66, August, 2009   [doi>10.1016/j.entcs.2009.07.073]\n\n","citation":"1594510"},{"text":"\n\nP. D. Mosses and F. Vesely. Funkons: Component-based semantics in K. In WRLA 2014, LNCS. Springer, 2014. To appear.\n\n"},{"text":"\n\n\nScott Owens, A sound semantics for OCamllight, Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems, March 29-April 06, 2008, Budapest, Hungary \n\n","citation":"1792880"},{"text":"\n\n\nBenjamin C. Pierce, Types and programming languages, MIT Press, Cambridge, MA, 2002 \n\n","citation":"509043"},{"text":"\n\nPLanCompS. PlanCompS: Programming language components and specifications, 2011. URL http://www.plancomps.org.\n\n"},{"text":"\n\nG. D. Plotkin. A structural approach to operational semantics. J. Log. Algebr. Program., 60--61: 17--139, 2004.\n\n"},{"text":"\n\n\nGordon Plotkin , John Power, Computational Effects and Operations: An Overview, Electronic Notes in Theoretical Computer Science (ENTCS), 73, p.149-163, October, 2004   [doi>10.1016/j.entcs.2004.08.008]\n\n","citation":"1705762"},{"text":"\n\n\nPeter Sewell , Francesco zappa Nardelli , Scott Owens , Gilles Peskine , Thomas Ridge , Susmit Sarkar , Rok StrniŠa, Ott: Effective tool support for the working semanticist, Journal of Functional Programming, v.20 n.1, p.71-122, January 2010   [doi>10.1017/S0956796809990293]\n\n","citation":"1735543"},{"text":"\n\n\nMads Tofte, Type inference for polymorphic references, Information and Computation, v.89 n.1, p.1-34, Nov. 1990   [doi>10.1016/0890-5401(90)90018-D]\n\n","citation":"106179"}]