J.E. Labra Gayo, M. C. Luengo Díez, J. M. Cueva Lovelle, A. Cernuda del Río  Home/Search
Context Related
| di.uniovi.es/~labra/FTP/Pa...ldta01.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di002.edv.uniovi.e...investig_ENG (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes LPS, a Language Prototyping System that facilitates the modular development of interpreters from semantic building blocks. The system is based on the integration of ideas from Modular Monadic Semantics and Generic Programming. To define a new programming language, the abstract syntax is described as the fixpoint of non-recursive pattern functors. For each functor an algebra is defined whose carrier is the computational monad obtained from the application of several monad... (Update)
Context of citations to this paper: More
...monadic semantics [5] allowing the independent speci cation of the abstract syntax, the computational monad and the domain value. In [9,10,11,12] we applied monadic catamorphisms allowing to separate the recursive evaluation and the semantic speci cation. In [13] we also show...
...semantics [4] allowing the independent specification of the abstract syntax, the computational monad and the domain value. In [8,9,10,12] we also applied monadic catamorphisms, which facilitate the separation between recursive evaluation and semantic specification. In [11] we...
Cited by: More
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio (Correct)
Building Interpreters with Rewriting Strategies - Dolstra, Visser (2002) (Correct)
Specification of Logic Programming Languages from.. - Gayo, Lovelle.. (2001) (Correct)
Similar documents (at the sentence level):
12.4%: A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
6.8%: Reusable Monadic Semantics of Logic Programs with.. - Gayo, Lovelle, Diez, Rio (2001) (Correct)
Active bibliography (related documents): More All
0.8: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.6: Language Prototyping using Modular Monadic Semantics - Gayo, Lovelle, Díez (1999) (Correct)
0.5: An Implementation of Modular Monadic Semantics using Folds and.. - Gayo (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.8: A Model for Integrating Knowledge into Component-Based.. - Río, Gayo, Lovelle (2001) (Correct)
0.8: Verifying Reuse Contracts with a Component Model - Río, Gayo, Lovelle (2001) (Correct)
0.7: Reusable Semantic Specifications of Programming Languages - Labra Gayo Department (Correct)
Related documents from co-citation: More All
4: Deriving backtracking monad transformers - Hinze
4: Writing modular interpreters using Catamorphisms (context) - Duponcheel - 1995
4: Modular denotational semantics for compiler construction - Liang, Hudak - 1996
BibTeX entry: (Update)
J.E. Labra, M.C. Luengo, J.M. Cueva, and A. Cernuda. LPS: A language prototyping system using modular monadic semantics. In Mark van den Brand and Didier Parigot, editors, Electronic Notes in Theoretical Computer Science, volume 44. Elsevier Science Publishers, 2001. http://citeseer.ist.psu.edu/labragayo01lps.html More
@incollection{ gayo01lps,
author = "J. E. {Labra Gayo} and M. C. {Luengo D{\'\i}ez} and J. M. {Cueva Lovelle} and A. {Cernuda del R{\'\i}o}",
title = "{LPS}: {A} Language Prototyping System Using Modular Monadic Semantics",
booktitle = "Proceedings 1st Workshop on Language Descriptions, Tools and Applications, {LDTA}'01, Genova, Italy, 7 Apr 2001",
volume = "44(2)",
publisher = "Elsevier",
address = "Amsterdam",
editor = "M. van der Brand and D. Parigot",
year = "2001",
url = "citeseer.ist.psu.edu/labragayo01lps.html" }
Citations (may not include all citations):293 The essence of functional programming - Wadler - 1992
254 Comprehending monads - Wadler - 1990
210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
156 First-class Polymorphism with Type Inference - Jones - 1997
131 A fold for all seasons - Sheard, Fegaras
120 Monad transformers and modular interpreters - Liang, Hudak et al. - 1995
104 Science of Computer Programming (context) - Malcolm, program - 1990
104 Algebra of Programming (context) - Bird, de Moor - 1997
72 An abstract view of programming languages (context) - Moggi - 1989
63 A new approach to generic functional programming - Hinze - 2000
54 Building interpreters by composing monads - Steele
52 Generic programming - an introduction (context) - Backhouse, Jansson et al. - 1999
48 Merging monads and folds for functional programming - Meijer, Jeuring - 1995
41 The design of a pretty-printing library - Hughes - 1995
39 Domain-specific languages: An annotated bibliography - van Deursen, Klint et al. - 2000
35 Monadic maps and folds for arbitrary datatypes - Fokkinga - 1994
33 Modular denotational semantics for compiler construction - Liang, Hudak - 1996
31 sdf meta-environment: a componentbased language development .. (context) - van den Brand, asf - 2001
31 Theory and practice of action semantics - Mosses - 1996
29 A Polymorphic Type System for Extensible Records and Variant.. - Gaster, Jones - 1996
28 Monadic parser combinators - Hutton, Meijer - 1996
26 A generic programming extension for Haskell - Hinze
22 A modular monadic action semantics - Wansbrough, Hamer - 1997
21 Columbia University (context) - Espinosa, PhD - 1995
20 Modular compilers based on monad transformers - Harrison, Kamin - 1998
14 the foundations of final coalgebra semantics: non-well-found.. - Turi, Rutten - 1998
14 Composing programming languages by combining action-semantic.. (context) - Doh, Mosses - 2001
13 Metalanguages and applications - Moggi - 1997
12 Purely Functional Language (context) - Jones, Hughes et al. - 1999
12 Modular Monadic Semantics and Compilation (context) - Liang - 1998
9 A monad for basic java semantics - Jacobs, Poll - 2000
9 Deriving backtracking monad transformers - Hinze
8 Coalgebraic reasoning about classes in object-oriented langu.. - Jacobs - 1998
8 Writing modular interpreters using catamorphisms (context) - Duponcheel - 1995
7 Promotional transformation of monadic programs - Hu, Iwasaki - 1995
7 An implementation of modular monadic semantics using folds a.. - Labra - 1998
7 Combining type classes and existential types - Laufer - 1994
7 Research on domain-specific embedded languages and program g.. - Kamin - 1998
6 Language prototyping using modular monadic semantics - Labra, Cueva et al. - 1999
6 Components as processes: An exercise in coalgebraic modeling - Barbosa
6 Modular development of interpreters from semantic building b.. (context) - Labra, Cueva et al. - 2000
6 Composing monads - Jones, Duponcheel - 1993
6 and H. Kirchner, editors, International Workshop on Rewritin.. (context) - Mosses, modularity et al. - 1998
4 An object-oriented abstract machine as the substrate for an .. (context) - Alvarez, Tajes et al. - 1997
4 Modular Development of Language Processors from Reusable Sem.. (context) - Labra - 2001
3 Monads and e#ects (context) - Benton, Hughes et al.
3 Domain-specific languages (context) - Hudak - 1998
2 Designing and implementing closed domain-specific languages (context) - Kieburtz - 2000
2 Merging capabilities with the object model of an object-orie.. (context) - Daz, Alvarez et al. - 1998
2 A computational model for a distributed object-oriented oper.. (context) - Tajes, Alvarez et al. - 1998
1 domain-specific languages and language design assistants (context) - Heering
http://lsi.uniovi.es/~labra/LPS/LPS
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://di002.edv.uniovi.es/~cernuda/investig_ENG.html): More
Reusable Monadic Semantics of Logic Programs with.. - Gayo, Lovelle, Diez, Rio (2001) (Correct)
Applying the Itacio Verification Model to a Component-Based .. - Río, Gayo, Lovelle (2001) (Correct)
Specification of Logic Programming Languages from.. - Gayo, Lovelle.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC