{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:16Z","timestamp":1725487156420},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429593"},{"type":"electronic","value":"9783540456544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45654-6_46","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:21:19Z","timestamp":1184602879000},"page":"597-611","source":"Crossref","is-referenced-by-count":1,"title":["A Language Prototyping Tool Based on Semantic Building Blocks"],"prefix":"10.1007","author":[{"given":"Jose E.","family":"Labra Gayo","sequence":"first","affiliation":[]},{"given":"Juan M.","family":"Cueva Lovelle","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda C.","family":"Luengo D\u00edez","sequence":"additional","affiliation":[]},{"given":"Bernardo M.","family":"Gonz\u00e1lez Rodr\u00edguez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,8]]},"reference":[{"key":"46_CR1","unstructured":"Language Prototyping System. http:\/\/lsi.uniovi.es\/~labra\/LPS\/LPS.html ."},{"key":"46_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Object Oriented Technology ECOOP\u201997","author":"D. \u00c1lvarez","year":"1997","unstructured":"D. \u00c1lvarez, L. Tajes, F. \u00c1lvarez, M. A. D\u00edaz, R. Izquierdo, and J. M. Cueva. An object-oriented abstract machine as the substrate for an object-oriented operating system. In J. Bosch and S. Mitchell, editors, Object Oriented Technology ECOOP\u201997, J\u00ffvask\u00ffla, Finland, June 1997. Springer Verlag, LNCS 1357."},{"key":"46_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Advanced Functional Programming","author":"R. Backhouse","year":"1999","unstructured":"Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming-an introduction. In Swierstra S. D., Henriques P. R., and Oliveira J. N., editors, Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. Springer, 1999."},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS\u20192000-Formal Methods for Open Object-Oriented Distributed Systems, pages 397\u2013417, Stanford, USA, September 2000. Kluwer Academic Publishers.","DOI":"10.1007\/978-0-387-35520-7_20"},{"key":"46_CR5","unstructured":"N. Benton, J. Hughes, and E. Moggi. Monads and effects. In International Summer School On Applied Semantics APPSEM\u20192000, Caminha, Portugal, 2000."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"R. Bird and Oege de Moor. Algebra of Programming. Prentice Hall, 1997.","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"46_CR7","unstructured":"Pietro Ceciarelli and Engenio Moggi. A syntactic approach to modularity in denotational semantics. In 5th Biennial Meeting on Category Theory and Computer Science, volume CTCS-5. CWI Technical Report, 1993."},{"key":"46_CR8","series-title":"Lect Notes Comput Sci","first-page":"273","volume-title":"Ecoop\u201998 Workshop on Distributed Object Security","author":"M. A. D\u00edaz","year":"1998","unstructured":"M. A. D\u00edaz, D. \u00c1lvarez, A. Garc\u00eda-Mendoza, F. \u00c1lvarez, L. Tajes, and J. M. Cueva. Merging capabilities with the object model of an object-oriented abstract machine. In S. Demeyer and J. Bosch, editors, Ecoop\u201998 Workshop on Distributed Object Security, volume 1543, pages 273\u2013276. LNCS, 1998."},{"key":"46_CR9","unstructured":"Luc Duponcheel. Writing modular interpreters using catamorphisms, subtypes and monad transformers. Utrecht University, 1995."},{"key":"46_CR10","unstructured":"David Espinosa. Semantic Lego. PhD thesis, Columbia University, 1995."},{"key":"46_CR11","unstructured":"Maarten M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, February 1992."},{"key":"46_CR12","unstructured":"Maarten M. Fokkinga. Monadic maps and folds for arbitrary datatypes. Memoranda Informatica 94-28, Dept. of Computer Science, Univ. of Twente, June 1994."},{"key":"46_CR13","unstructured":"Benedict R. Gaster and Mark P. Jones. A Polymorphic Type System for Extensible Records and Variants. Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham, November 1996."},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"William Harrison and Samuel Kamin. Modular compilers based on monad transformers. In Proceedings of the IEEE International Conference on Computer Languages, 1998.","DOI":"10.1109\/ICCL.1998.674163"},{"key":"46_CR15","unstructured":"William Harrison and Samuel Kamin. Compilation as metacomputation: Binding time separation in modular compilers. In 5th Mathematics of Program Construction Conference, MPC2000, Ponte de Lima, Portugal, June 2000."},{"key":"46_CR16","unstructured":"R. Hinze. A generic programming extension for Haskell. In E. Meijer, editor, Proceedings of the 3rd Haskell Workshop, Paris, France, September 1999. The proceedings appear as a technical report of Universiteit Utrecht, UU-CS-1999-28."},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. Deriving backtracking monad transformers. In Roland Backhouse and J.N. Oliveira, editors, Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18\u201320, 2000, September 2000.","DOI":"10.1145\/351240.351258"},{"key":"46_CR18","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. A new approach to generic functional programming. In Conference Record of POPL\u201900: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2000.","DOI":"10.1145\/325694.325709"},{"key":"46_CR19","unstructured":"Z. Hu and H. Iwasaki. Promotional transformation of monadic programs. In Workshop on Functional and Logic Programming, Susono, Japan, 1995. World Scientific."},{"key":"46_CR20","unstructured":"P. Hudak. Domain-specific languages. In Peter H. Salus, editor, Handbook of Programming Languages, volume III, Little Languages and Tools. Macmillan Technical Publishing, 1998."},{"key":"46_CR21","unstructured":"H. Iwasaki, Z. Hu, and M. Takeichi. Towards manipulation of mutually recursive functions. In 3rd. Fuji International Symposium on Functional and Logic Programming (FLOPS\u201998), Kyoto, Japan, 1998. World Scientific."},{"key":"46_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45499-3_12","volume-title":"Algebraic Methodology and Software Technology","author":"B. Jacobs","year":"2000","unstructured":"B. Jacobs and E. Poll. A monad for basic java semantics. In T. Rus, editor, Algebraic Methodology and Software Technology, number 1816 in LNCS. Springer, 2000."},{"key":"46_CR23","doi-asserted-by":"crossref","unstructured":"Bart Jacobs. Coalgebraic reasoning about classes in object-oriented languages. In Coalgebraic Methods in Computer Science, number 11. Electronic Notes in Computer Science, 1998.","DOI":"10.1016\/S1571-0661(04)00061-1"},{"key":"46_CR24","doi-asserted-by":"crossref","unstructured":"Mark P. Jones. First-class Polymorphism with Type Inference. In Proceedings of the Twenty Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 15\u201317 1997.","DOI":"10.1145\/263699.263765"},{"key":"46_CR25","volume-title":"YALEU\/DCS\/RR 1004","author":"M. P. Jones","year":"1993","unstructured":"Mark P. Jones and L. Duponcheel. Composing monads. YALEU\/DCS\/RR 1004, Yale University, New Haven, CT, USA, 1993."},{"key":"46_CR26","doi-asserted-by":"crossref","unstructured":"S. Kamin. Research on domain-specific embedded languages and program generators. Electronic Notes in Theoretical Computer Science, Elsevier Press, 12, 1998.","DOI":"10.1016\/S1571-0661(05)80235-X"},{"key":"46_CR27","doi-asserted-by":"crossref","unstructured":"Richard B. Kieburtz. Designing and implementing closed domain-specific languages. Invited talk at the Workshop on Semantics, Applications and Implementation of Program Generation (SAIG), 2000.","DOI":"10.1007\/3-540-45350-4_1"},{"key":"46_CR28","unstructured":"J. E. Labra. An implementation of modular monadic semantics using folds and monadic folds. In Workshop on Research Themes on Functional Programming, Third International Summer School on Advanced Functional Programming, Braga-Portugal, 1998."},{"key":"46_CR29","unstructured":"J. E. Labra, J. M. Cueva, and C. Luengo. Language prototyping using modular monadic semantics. In 3rd Latin-American Conference on Functional Programming, Recife-Brazil, March 1999."},{"key":"46_CR30","unstructured":"Jose E. Labra, Juan M. Cueva, and Mar\u00eda C. Luengo. Modular development of interpreters from semantic building blocks. In The 12th Nordic Workshop on Programming Theory, Bergen, Norway, October 2000. University of Bergen."},{"key":"46_CR31","unstructured":"Sheng Liang. Modular Monadic Semantics and Compilation. PhD thesis, Graduate School of Yale University, May 1998."},{"key":"46_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-61055-3_39","volume-title":"Programming Languages and Systems-ESOP\u201996, Proc. 6th European Symposium on Programming","author":"S. Liang","year":"1996","unstructured":"Sheng Liang and Paul Hudak. Modular denotational semantics for compiler construction. In Programming Languages and Systems-ESOP\u201996, Proc. 6th European Symposium on Programming, Link\u00f6ping, volume 1058 of Lecture Notes in Computer Science, pages 219\u2013234. Springer-Verlag, 1996."},{"key":"46_CR33","doi-asserted-by":"crossref","unstructured":"Sheng Liang, Paul Hudak, and Mark P. Jones. Monad transformers and modular interpreters. In 22rd ACM Symposium on Principles of Programming Languages, San Francisco, CA. ACM, January 1995.","DOI":"10.1145\/199448.199528"},{"key":"46_CR34","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G. Malcolm","year":"1990","unstructured":"Grant Malcolm. Data structures and program transformation. Science of Computer Programming, 14:255\u2013279, 1990.","journal-title":"Science of Computer Programming"},{"key":"46_CR35","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Functional Programming and Computer Architecture, pages 124\u2013144. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"key":"46_CR36","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-59451-5_7","volume-title":"Advanced Functional Programming","author":"E. Meijer","year":"1995","unstructured":"E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Lecture Notes in Computer Science 925, pages 228\u2013266. Springer-Verlag, 1995."},{"key":"46_CR37","unstructured":"Erik Meijer. Calculating Compilers. PhD thesis, University of Nijmegen, February 1992."},{"key":"46_CR38","doi-asserted-by":"crossref","unstructured":"E. Moggi. Metalanguages and applications. In A. M. Pitts and P. Dybjer, editors, Semantics and Logics of Computation, Publications of the Newton Institute. Cambridge University Press, 1997.","DOI":"10.1017\/CBO9780511526619.006"},{"key":"46_CR39","unstructured":"Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Edinburgh Univ., Dept. of Comp. Sci., June 1989. Lecture Notes for course CS 359, Stanford Univ."},{"key":"46_CR40","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Eugenio Moggi. Notions of computacion and monads. Information and Computation, (93):55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"46_CR41","unstructured":"Alberto Pardo. Fusion of monadic (co)recursive programs. In Roland Backhouse and Tim Sheard, editors, Proceedings Workshop on Generic Programming, WGP\u201998, Marstrand, Sweden, 18 June 1998. Dept. of Computing Science, Chalmers Univ. of Techn., and G\u00f6teborg Univ., June 1998."},{"key":"46_CR42","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/165180.165216","volume-title":"Proceedings 6th ACM SIGPLAN\/SIGARCH Intl. Conf. on Functional Programming Languages and Computer Architecture, FPCA\u201993","author":"T. Sheard","year":"1993","unstructured":"Tim Sheard and Leonidas Fegaras. A fold for all seasons. In Proceedings 6th ACM SIGPLAN\/SIGARCH Intl. Conf. on Functional Programming Languages and Computer Architecture, FPCA\u201993, Copenhagen, Denmark, 9\u201311 June 1993, pages 233\u2013242. ACM, New York, 1993."},{"key":"46_CR43","doi-asserted-by":"crossref","unstructured":"Guy L. Steele, Jr. Building interpreters by composing monads. In Conference record of POPL\u2019 94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17\u201321, 1994, pages 472\u2013492, New York, USA, 1994. ACM Press.","DOI":"10.1145\/174675.178068"},{"key":"46_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-49255-0_112","volume-title":"Ecoop\u201998 Workshop on Reflective Object-Oriented Programming and Systems","author":"L. Tajes","year":"1998","unstructured":"L. Tajes, F. \u00c1lvarez, D. \u00c1lvarez, M. A. D\u00edaz, and J.M. Cueva. A computational model for a distributed object-oriented operating system based on a reflective abstract machine. In S. Demeyer and J. Bosch, editors, Ecoop\u201998 Workshop on Reflective Object-Oriented Programming and Systems, volume 1543, pages 382\u2013383. LNCS, 1998."},{"issue":"5","key":"46_CR45","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S0960129598002588","volume":"8","author":"D. Turi","year":"1998","unstructured":"Daniele Turi and Jan Rutten. On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Mathematical Structures in Computer Science, 8(5):481\u2013540, 1998.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"6","key":"46_CR46","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"Arie van Deursen, Paul Klint, and Joost Visser. Domain-specific languages: An annotated bibliography. ACM SIGPLAN Notices, 35(6):26\u201336, June 2000.","journal-title":"ACM SIGPLAN Notices"},{"key":"46_CR47","doi-asserted-by":"crossref","unstructured":"P. Wadler. Comprehending monads. In ACM Conference on Lisp and Functional Programming, pages 61\u201378, Nice, France, June 1990. ACM Press.","DOI":"10.1145\/91556.91592"},{"key":"46_CR48","doi-asserted-by":"crossref","unstructured":"P. Wadler. Monads for functional programming. Lecture notes for Marktoberdorf Summer School on Program Design Calculi, Springer-Verlag, Aug 1992.","DOI":"10.1007\/978-3-662-02880-3_8"},{"key":"46_CR49","doi-asserted-by":"crossref","unstructured":"P. Wadler. The essence of functional programming. In POPL\u2019 92, Albuquerque, 1992.","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45654-6_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:31:07Z","timestamp":1556681467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45654-6_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429593","9783540456544"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/3-540-45654-6_46","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}