{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:21:46Z","timestamp":1720624906220},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80352-9","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"220-233","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Specification of Logic Programming Languages from Reusable Semantic Building Blocks"],"prefix":"10.1016","volume":"64","author":[{"given":"J.E.","family":"Labra Gayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.M.","family":"Cueva Lovelle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.C.","family":"Luengo D\u00edez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cernuda del R\u00edo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB1","unstructured":"Language Prototyping System. http:\/\/lsi.uniovi.es\/~labra\/LPS\/LPS.html, 2001."},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In S. Swierstra, P. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. Springer, 1999.","DOI":"10.1007\/10704973_2"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB3","article-title":"A mathematical definition of full prolog","author":"B\u00f6rger","year":"1994","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Koen Claessen and Peter Ljungl'of. Typed logical variables in haskell. In Haskell Workshop. ACM SIGPLAN, September 2000.","DOI":"10.1016\/S1571-0661(05)80544-4"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB5","unstructured":"Luc Duponcheel. Writing modular interpreters using catamorphisms, subtypes and monad transformers. Technical Report (Draft), Utrecht University, 1995."},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Maarten M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, February 1992.","DOI":"10.1007\/BF03180568"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB7","unstructured":"Ralf Hinze. Prological features in a functional setting \u2013- axioms and implementations. In Masahiko Sato and Yoshihito Toyama, editors, Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto University, Japan, pages 98\u2013122, Singapore, New Jersey, London, Hong Kong, April 1998. World Scientific."},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. Deriving backtracking monad transformers. In Roland Backhouse and Jose N. Oliveira, editors, Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 2000.","DOI":"10.1145\/351240.351258"},{"issue":"5","key":"10.1016\/S1571-0661(04)80352-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S095679689800313X","article-title":"Polytypic unification","volume":"8","author":"Jansson","year":"1998","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"10.1016\/S1571-0661(04)80352-9_NEWBIB10","article-title":"Modular development of interpreters from semantic building blocks","volume":"8","author":"Labra","year":"2001","journal-title":"Nordic Journal of Computing"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB11","unstructured":"J. E. Labra, J. M. Cueva, M. C. Luengo, and A. Cernuda. Reusable monadic semantics of logic programs with arithmetic predicates. In Lu\u00eds Moniz Pereira and Paulo Quaresma, editors, APPIA-GULP-PRODE 2001, Joint Conference on Declarative Programming, \u00c9vora, Portugal, September 2001. Universidade de Evora."},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB12","doi-asserted-by":"crossref","unstructured":"J. E. Labra, J. M. Cueva Lovelle, M. C. Luengo D\u00edez, and B. M. Gonz\u00e1lez. A language prototyping tool based on semantic building blocks. In Eight International Conference on Computer Aided Systems Theory and Technology (EUROCAST'01), volume 2178 of Lecture Notes in Computer Science, Las Palmas de Gran Canaria \u2013- Spain, February 2001. Springer Verlag.","DOI":"10.1007\/3-540-45654-6_46"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB13","article-title":"LPS: A language prototyping system using modular monadic semantics","volume":"44","author":"Labra","year":"2001"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB14","unstructured":"Jose E. Labra. Modular Development of Language Processors from Reusable Semantic Specifications. PhD thesis, Dept. of Computer Science, University of Oviedo, 2001. In spanish."},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Sheng Liang and Paul Hudak. Modular denotational semantics for compiler construction. In Programming Languages and Systems \u2013- ESOP'96, Proc. 6th European Symposium on Programming, Link\u00f6ping, volume 1058 of Lecture Notes in Computer Science, pages 219\u2013234. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61055-3_39"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Sheng Liang, Paul Hudak, and Mark P. Jones. Monad transformers and modular interpreters. In 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA. ACM, January 1995.","DOI":"10.1145\/199448.199528"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB17","series-title":"Semantics and Logics of Computation","article-title":"Metalanguages and applications","author":"Moggi","year":"1997"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB18","unstructured":"Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90\u2013113, Edinburgh University, Dept. of Computer Science, June 1989. Lecture Notes for course CS 359, Stanford University."},{"issue":"4","key":"10.1016\/S1571-0661(04)80352-9_NEWBIB19","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1145\/69558.69564","article-title":"A denotational semantics for prolog","volume":"11","author":"Nicholson","year":"1989","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80352-9_NEWBIB20","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"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803529?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803529?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:51:59Z","timestamp":1585896719000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":20,"alternative-id":["S1571066104803529"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80352-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}