Constructive Action Semantics for Core ML Jrgen Iversen Peter D. Mosses BRICS ...  Home/Search
Context
Related
| brics.dk/RS/04/Ref...ICSRS0437.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: brics.dk/RS/04/...BRICSRS04Ref (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Usually, the majority of language constructs found in a programming language can also be found in many other languages, because language design is based on reuse. This should be reflected in the way we give semantics to programming languages. It can be achieved by making a language description consist of a collection of modules, each defining a single language construct. The description of a single language construct should be language independent, so that it can be reused in other... (Update)
Active bibliography (related documents): More All
0.8: Basic Research in Computer Science - An Action Environment (Correct)
0.7: Theory and Practice of Action Semantics - Mosses (1996) (Correct)
0.4: Implementing Actions - van der Storm (2003) (Correct)
Similar documents based on text: More All
0.2: Review Of Action Semantics By Peter D. Mosses - Varol Akman (Correct)
0.2: A Modular SOS for Action Notation - Mosses (1999) (Correct)
0.2: The CoFi Algebraic Specification Language Tentative Design.. - CoFi (1997) (Correct)
BibTeX entry: (Update)
@misc{ semantics-basic,
author = "Constructive Action Semantics",
title = "Basic Research in Computer Science",
url = "citeseer.ist.psu.edu/733650.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
63 Concurrent Programming in ML (context) - Reppy - 1999
31 Sdf MetaEnvironment: A component-based language development .. (context) - van den Brand, van Deursen et al. - 2001
31 Language Prototyping: An Algebraic Specification Approach (context) - van Deursen, Heering et al. - 1996
31 Theory and practice of action semantics - Mosses - 1996
28 Programming Language Syntax and Semantics (context) - Watt - 1991
21 Cambridge Tracts in Theoretical Computer Science (context) - Mosses - 1992
18 Semantics of programming languages: A tool-oriented approach - Heering, Klint - 2000
14 Composing programming languages by combining action-semantic.. (context) - Doh, Mosses - 2003
10 and Paul Klint (context) - Bergstra, Heering - 1989
10 The use of action semantics (context) - Mosses, Watt - 1986
8 A tutorial on action semantics - Mosses - 1996
4 the proposed new version of Action Notation (context) - Lassen, Mosses et al.
3 Why don't programming language designers use formal methods (context) - Watt - 1996
3 The static and dynamic semantics of SML (context) - Watt
2 Workshop on Action Semantics (context) - Mosses, AS' et al. - 1994
1 van den Brand and Paul Klint (context) - Mark - 2003
1 and David A. Watt, editors. AS'99, 2nd International Worksho.. (context) - Mosses - 1999
1 Mosses and Hermano Moura (context) - Peter - 2000
http://www.smlnj.org/sml
Documents on the same site (http://www.brics.dk/RS/04/Ref/BRICS-RS-04-Ref/BRICS-RS-04-Ref.html): More
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
The Design Space of Type Checkers for XML Transformation.. - Møller, Schwartzbach (2004) (Correct)
Split-2 Bisimilarity has a Finite Axiomatization over CCS with.. - Aceto, al. (2004) (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