David Espinosa  Home/Search
Context Related
| columbia.edu/pub/espinos...thesis.ps.gz 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: columbia.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 semantic structure of the language. The ... (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):
79.1%: Semantic Lego - Espinosa (1995) (Correct)
Active bibliography (related documents): More All
0.7: Building Interpreters by Transforming Stratified Monads - Espinosa (1994) (Correct)
0.3: Language Extensibility via First-class Interpreters and.. - Espinosa (1993) (Correct)
0.2: How to Declare an Imperative - Wadler (1995) (Correct)
Similar documents based on text: More All
0.5: E-ADTs: Turbo-Charging Complex Data - Seshadri, Livny, al. (1996) (Correct)
0.5: Anomalous Diffraction Theory for Arbitrarily Oriented.. - Liu, Arnott, Hallett (1998) (Correct)
0.5: A Formal Comparison of ADT-based Dimensional Query Languages - Skjellaug (1999) (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/espinosa95semantic.html More
@phdthesis{ espinosa95semantic,
author = "David Espinosa",
title = "Semantic {Lego}",
year = "1995",
url = "citeseer.ist.psu.edu/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
137 The Art of the Metaobject Protocol (context) - Kiczales, Bobrow et al. - 1991
120 Monad transformers and modular interpreters - Liang, Jones 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 - Jr - 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 Object-Oriented 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
7 Category theory for the Working Mathematician (context) - MacLane - 1971
6 Revised 4 Report on Scheme (context) - Clinger, Rees - 1991
5 Personal communication (context) - Wadler
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 rd edition (context) - MacLane, Birkhoff et al. - 1988
2 Language features for extensible programs (context) - Espinosa - 1993
2 Technical Report PRG TR (context) - Spivey, functional - 1993
1 Available via http: //www (context) - Filinski, categorical et al. - 1989
1 Available via http://www (context) - Espinosa - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.columbia.edu.html): More
Interfacing Oz with the PCTE OMS - Lee, Kaiser (1996) (Correct)
An Architecture for WWW-based Hypercode Environments - Kaiser, Dossick, Jiang, Yang (1996) (Correct)
Incremental Process Support for Code Reengineering: An .. - Kaiser, Heineman.. (1996) (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