David A. Espinosa  Home/Search
Context Related
| mit.edu/ftpdir/users/dae/...thesis.ps.Z columbia.edu/~library/t...espinosa.ps.Z 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: lsi.uniovi.es/~labra/LPS/LPS (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Semantic Lego David A. Espinosa Denotational semantics [Sch86] is a powerful framework for describing programming languages; however, its descriptions lack modularity: conceptually independent language features influence each others' semantics. We address this problem by presenting a theory of modular denotational semantics. Following Mosses [Mos92], we divide a semantics into two parts, a computation ADT and a language ADT (abstract data type). The computation ADT represents the basic... (Update)
Context of citations to this paper: More
...however, his presentation is difficult, and few researchers realized that he had made substantial progress. Rewriting Moggi s methods [Esp94], I saw that they did not easily handle constructs involving multiple semantic levels, such as call cc or even (because it raises...
.... of this paper is a modular and extensible method of staging denotational specifications based on metacomputations, formalized via monads[7, 13, 16, 23]. A style of Parsing Type Checking Code Generation compile Optimization Target Interpreter Updating Store Stack Manipulation...
Cited by: More
Coalgebras and Monads in the Semantics of Java - Jacobs, Poll (2002) (Correct)
A Study of Evaluation Order Semantics in Expressions with.. - Papaspyrou, Macos (2000) (Correct)
Compilation as Metacomputation: Binding Time Separation in.. - Harrison, Kamin (1998) (Correct)
Similar documents (at the sentence level):
78.3%: Semantic Lego - Espinosa (1995) (Correct)
Active bibliography (related documents): More All
0.7: Building Interpreters by Transforming Stratified Monads - Espinosa (1994) (Correct)
0.5: Algebraic Structures of Directed Acyclic Graphs: Application to.. - Lucanu (1998) (Correct)
0.3: Language Extensibility via First-class Interpreters and.. - Espinosa (1993) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Anomalous Diffraction Theory for Arbitrarily Oriented.. - Liu, Arnott, Hallett (1998) (Correct)
0.4: A Formal Comparison of ADT-based Dimensional Query Languages - Skjellaug (1999) (Correct)
0.4: E-ADTs: Turbo-Charging Complex Data - Seshadri, Livny, al. (1996) (Correct)
Related documents from co-citation: More All
6: Monad transformers and modular interpreters - Liang, Hudak et al. - 1992
5: The essence of functional programming - Wadler - 1992
4: An abstract view of programming languages (context) - Moggi - 1990
BibTeX entry: (Update)
D. Espinosa, "Semantic Lego," Doctoral Dissertation, Columbia University, 1995. http://citeseer.ist.psu.edu/article/espinosa95semantic.html More
@phdthesis{ espinosa95semantic,
author = "David Espinosa",
title = "Semantic {Lego}",
year = "1995",
url = "citeseer.ist.psu.edu/article/espinosa95semantic.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
369 Information and Computation (context) - Moggi, computation - 1991
293 The essence of functional programming - Wadler - 1992
291 Computational lambda calculus and monads - Moggi - 1989
232 Category Theory for Computing Science (context) - Barr, Wells - 1990
152 Semantics of Programming Languages (context) - Gunter - 1992
143 Theorems for free - Wadler - 1989
137 The Art of the Metaobject Protocol (context) - Kiczales, Bobrow et al. - 1991
127 General logics (context) - Meseguer - 1989
120 Monad transformers and modular interpreters - Liang, Hudak et al. - 1995
112 Initial algebra semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991
76 DEC Systems Research Center (context) - Cardelli, Technical - 1989
75 Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
67 Representing monads - Filinski - 1994
54 Building interpreters by composing monads - Steele - 1994
51 Allyn and Bacon (context) - Schmidt - 1986
48 Laboratory for Foundations of Computer Science (context) - Moggi, view et al. - 1989
34 Theoretical Aspects of ObjectOriented Programming (context) - Gunter, Mitchell - 1994
27 Computational Category Theory (context) - Rydeheard, Burstall - 1990
26 Science of Computer Programming (context) - Spivey, theory et al. - 1990
22 Distributive laws (context) - Beck - 1969
21 Combining monads - King, Wadler - 1992
20 Extensible denotational language specifications - Cartwright, Felleisen - 1994
19 A syntactic approach to modularity in denotational semantics - Moggi, Cenciarelli - 1993
18 A categorical approach to the theory of lists (context) - Spivey - 1989
18 Technical Report YALEU / DCS / RR (context) - Jones, Duponcheel - 1993
15 Springer Verlag (context) - Barr, Wells et al. - 1985
10 Declarative continuations and categorical duality - Filinski - 1989
7 Semantic Lego - Espinosa - 1994
6 Revised 4 Report on Scheme (context) - Clinger, Rees - 1991
3 A unified system of parametrization for programming language.. (context) - Lamping - 1988
3 Language extensibility via first-class interpreters and cons.. - Espinosa - 1993
3 volume 26 of Tracts in Theoretical Computer Science (context) - Mosses - 1992
2 Technical Report PRG TR (context) - Spivey, functional - 1993
2 rd edition (context) - MacLane, Birkhoff et al. - 1988
2 Language features for extensible programs (context) - Espinosa - 1993
2 Category theory for the Working Mathematician (context) - MacLane - 1971
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://lsi.uniovi.es/~labra/LPS/LPS.html): More
Modular Compilers Based on Monad Transformers - Harrison, Kamin (1998) (Correct)
Language Prototyping using Modular Monadic Semantics - Gayo, Lovelle, Díez (1999) (Correct)
An Implementation of Modular Monadic Semantics using Folds and.. - Gayo (1998) (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