Peter D. Mosses  Home/Search
Context
Related
| sop.inria.fr/certilab/LF...Mosses.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: sop.inria.fr/certilab/LFM...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A meta-language for semantics has a high degree of modularity when descriptions of individual language constructs can be formulated independently using it, and do not require reformulation when new constructs are added to the described language. The quest for modularity in semantic meta-languages has been going on for more than two decades. (Update)
Active bibliography (related documents): More All
1.0: Foundations of Modular SOS - Mosses (1999) (Correct)
1.0: A Modular SOS for ML Concurrency Primitives - Mosses (1999) (Correct)
1.0: Theory and Practice of Action Semantics - Mosses (1996) (Correct)
Similar documents based on text: More All
0.2: Algebraic Specifications, Higher-Order Types, and.. - Kirchner, Mosses (1998) (Correct)
0.2: Modular SOS: Dierences from SOS - Peter Mosses Brics (Correct)
0.2: Logical Specification of Operational Semantics - Mosses (1999) (Correct)
BibTeX entry: (Update)
@misc{ mosses-modularity,
author = "Peter D. Mosses",
title = "Modularity in Meta-Languages",
url = "citeseer.ist.psu.edu/717822.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
906 A structural approach to operational semantics - Plotkin - 1981
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
233 Natural semantics (context) - Kahn - 1987
159 CML: A higher-order concurrent language (context) - Reppy - 1991
76 Control operators (context) - Felleisen, Friedman - 1986
73 Denotational semantics (context) - Mosses - 1990
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992
72 An abstract view of programming languages (context) - Moggi - 1990
67 Higher-Order Concurrency - Reppy - 1992
67 Towards a mathematical operational semantics - Turi, Plotkin - 1997
63 Semantics with Applications: A Formal Introduction (context) - Nielson, Nielson - 1992
52 A type-theoretic interpretation of Standard ML - Harper, Stone - 1998
41 A programmer friendly modular definition of the semantics of.. - Borger, Schulte - 1998
33 Modular denotational semantics for compiler construction - Liang, Hudak - 1996
31 Theory and practice of action semantics - Mosses - 1996
28 Number 26 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Mosses - 1992
28 Programming Language Syntax and Semantics (context) - Watt - 1991
22 A modular monadic action semantics - Wansbrough, Hamer - 1997
22 A modular monadic action semantics - Wansbrough - 1997
20 Extensible denotational language specifications - Cartwright, Felleisen - 1994
18 Abstract semantic algebras (context) - Mosses - 1982
15 Foundations of Modular SOS - Mosses - 1999
13 Metalanguages and applications - Moggi - 1997
10 The use of action semantics (context) - Mosses, Watt - 1986
9 An action semantics for ML concurrency primitives - Mosses, Musicante - 1994
8 A practical introduction to denotational semantics (context) - Mosses - 1991
6 A theory of weak bisumulation for core CML (context) - Ferreira, Hennessy et al. - 1998
5 Research Series BRICS-RS (context) - Mosses, modular - 1999
4 A modular SOS for ML concurrency primitives - Mosses - 1999
2 Making denotational semantics less concrete (context) - Mosses - 1977
1 A proposal for a revised Action Notation (context) - Lassen, Mosses et al. - 2000
Documents on the same site (http://www-sop.inria.fr/certilab/LFM00/Proceedings/index.html): More
Properties of Terms in Continuation-Passing Style in an.. - Polakow, Pfenning (2000) (Correct)
TinkerType: A Language for Playing with Formal Systems - Levin, Pierce (2000) (Correct)
A Meta Logical Framework Based on Realizability - Schürmann (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