J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio  Home/Search
Context
Related
| di.uniovi.es/~labra/FTP/Pa...SBLPOO.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: di.uniovi.es/~labr...Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We specify the dynamic semantics of an object oriented programming language in an incremental way. We begin with a simple language of arithmetic and boolean expressions. Then, we add functional abstractions, local declarations, references and assignments obtaining a functional language with imperative features. We finally add objects, classes and subclasses to obtain a prototypical object oriented language with dynamic binding. (Update)
Active bibliography (related documents): More All
2.4: LPS: A Language Prototyping System Using Modular.. - Gayo, Díez.. (2001) (Correct)
2.3: A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
1.7: Reusable Monadic Semantics of Logic Programs with.. - Gayo, Lovelle, Diez, Rio (2001) (Correct)
Similar documents based on text: More All
0.9: Specification of Logic Programming Languages from.. - Gayo, Lovelle.. (2001) (Correct)
0.8: Language Prototyping using Modular Monadic Semantics - Gayo, Lovelle, Díez (1999) (Correct)
0.7: Reusable Semantic Specifications of Programming Languages - Labra Gayo Department (Correct)
BibTeX entry: (Update)
@misc{ gayo-reusable,
author = "J. E. Labra Gayo and J. M. Cueva Lovelle and M. C. Luengo Diez and A. Cernuda
del Rio",
title = "Reusable Monadic Semantics of Object Oriented Programming Languages",
url = "citeseer.ist.psu.edu/652738.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computacion - 1991 DBLP
369 A semantics of multiple inheritance - Cardelli - 1984
210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
156 First-class Polymorphism with Type Inference - Jones - 1997 ACM DBLP
131 A fold for all seasons - Sheard, Fegaras - 1993 ACM DBLP
129 A system of constructor classes: overloading and implicit hi.. - Jones - 1995 DBLP
120 Monad transformers and modular interpreters - Liang, Hudak et al. - 1995
107 A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1994
104 Algebra of Programming (context) - Bird, de Moor - 1997 ACM
82 Objects as closures: Abstract semantics of object oriented l.. (context) - Reddy - 1988
72 An abstract view of programming languages (context) - Moggi - 1989
53 Cambridge University Press (context) - Mosses - 1992
52 Generic programming - an introduction (context) - Backhouse, Jansson et al. - 1999
34 Theoretical Aspects of Object-Oriented Programming: Types (context) - Gunter, Mitchell - 1994
33 Modular denotational semantics for compiler construction - Liang, Hudak - 1996 ACM DBLP
23 The recursive record semantics of objects revisited - Boudol - 2001
22 A modular monadic action semantics - Wansbrough - 1997
20 Two Semantic Models of Object-Oriented Languages (context) - Kamin, Reddy - 1994 ACM
14 Composing programming languages by combining action-semantic.. (context) - Doh, Mosses - 2001 ACM DBLP
13 Metalanguages and applications - Moggi - 1997
12 Purely Functional Language (context) - Jones, Hughes et al. - 1999
9 Deriving backtracking monad transformers - Hinze - 2000 ACM DBLP
9 A monad for basic java semantics - Jacobs, Poll - 2000 ACM DBLP
8 Writing modular interpreters using catamorphisms (context) - Duponcheel - 1995
7 LPS: A language prototyping system using modular monadic sem.. - Labra, Luengo et al. - 2001 DBLP
7 Research on domain specific embedded languages and program g.. - Kamin - 2000
7 An implementation of modular monadic semantics using folds a.. - Labra - 1998
6 Components as processes: An exercise in coalgebraic modeling - Barbosa - 2000 DBLP
6 and H. Kirchner, editors, International Workshop on Rewritin.. (context) - Mosses, modularity et al. - 1998
6 Language prototyping using modular monadic semantics - Labra, Cueva et al. - 1999
6 Modular development of interpreters from semantic building b.. (context) - Labra, Cueva et al. - 2001 ACM DBLP
6 A poor man's concurrency monad (context) - Claessen - 1999 ACM DBLP
6 Composing monads - Jones, Duponcheel - 1993
4 Modular Development of Language Processors from Reusable Sem.. (context) - Labra - 2001
3 Department of Computing Science (context) - Watt, semantics - 1997
3 A language prototyping tool based on semantic building block.. - Labra, Cueva et al. - 2001 ACM DBLP
3 Specification of logic programming languages from reusable s.. - Labra, Cueva et al. - 2001 DBLP
3 Domain-specific languages (context) - Hudak - 1998 ACM
2 Compilation as metacomputation: Binding time separation in m.. - Harrison, Kamin - 2000
2 Formalising the dynamic semantics of java (context) - Watt, Brown - 2000
1 Reusable monadic semantics of logic programs with arithmetic.. (context) - Labra, Cueva et al. - 2001
1 Monads and effects - Benton, Hughes et al. - 2000 ACM DBLP
Documents on the same site (http://www.di.uniovi.es/~labra/Publications.html): More
A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
Graphical Representations and Infinite Virtual Worlds In Logic and .. - Labra (2003) (Correct)
Reusable Semantic Specifications of Programming Languages - Labra Gayo Department (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