Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 4

Title: Modular Semantic Specifications to Interpreter Implementation in

Author:

Subject: Viswanathan Vaidyanathan Modular Semantic Specifications to Interpreter Implementation in

Description: : Formal specification methods have had very good success in the domain of programming languages. In this paper, we discuss a modular denotational semantics approach to specifying the semantics of programming languages. Different details of various semantic domains are encapsulated properly in the semantic algebra. Therefore the semantic functions and equations can be described without worrying about the internal structure of the different semantic domains. This modular semantic specification lends itself to a compiler /interpreter implementation in a straightforward manner. We show how easily we implemented the interpreter in C++ from the given semantics. The example language whose semantics is being discussed in this paper is a subset of an object-oriented language. This effort is part of the development of an object-oriented framework which facilitates the reusability of semantic specifications of one programming language to derive that of another. 1 Introduction In the developmen...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-08-16

Pubyear: 1996

Format: ps

Identifier: http://citeseer.ist.psu.edu/144817.html

Source: http://www.cis.uab.edu/info/grads/vis/modular_specs.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/8765.html"   Type="article"   CiteSeer_Book="Acta   Informatica"   CiteSeer_Volume="31"   Title="Modularity   and   Reusability   in   Attribute   Grammars,">

            <identifier   Org="ISBN:0769523153"   Paper_ID="/8765.html"   Extracted="0769523153"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818680199"   Paper_ID="/8765.html"   Extracted="0818680199"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818680814"   Paper_ID="/8765.html"   Extracted="0818680814"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1402010389"   Paper_ID="/8765.html"   Extracted="1402010389"   />

            <identifier   Org="ISBN:3540007377"   Paper_ID="/8765.html"   Extracted="3540007377"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540201025"   Paper_ID="/8765.html"   Extracted="3540201025"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/8765.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540571868"   Paper_ID="/8765.html"   Extracted="3540571868"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540610537"   Paper_ID="/8765.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/8765.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540647333"   Paper_ID="/8765.html"   Extracted="3540647333"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540712887"   Paper_ID="/8765.html"   Extracted="3540712887"   />

            <identifier   Org="ISBN:9810240201"   Paper_ID="/8765.html"   Extracted="9810240201"   />

      </rec>

      <rec   ID="/14178.html"   Type="inproceedings"   CiteSeer_Book="Conference   record   of   POPL   95   22nd   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Languages   San   Francisco   California   January   2225   1995"   CiteSeer_Volume=""   Title="Monad   transformers   and   modular   interpreters,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/14178.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540291385"   Paper_ID="/14178.html"   Extracted="3540291385"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540411720"   Paper_ID="/14178.html"   Extracted="3540411720"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/14178.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540433813"   Paper_ID="/14178.html"   Extracted="3540433813"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/14178.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540438572"   Paper_ID="/14178.html"   Extracted="3540438572"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/14178.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540594515"   Paper_ID="/14178.html"   Extracted="3540594515"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540610553"   Paper_ID="/14178.html"   Extracted="3540610553"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540647376"   Paper_ID="/14178.html"   Extracted="3540647376"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/14178.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/14178.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540656995"   Paper_ID="/14178.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540669922"   Paper_ID="/14178.html"   Extracted="3540669922"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540676600"   Paper_ID="/14178.html"   Extracted="3540676600"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679588"   Paper_ID="/14178.html"   Extracted="3540679588"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540705937"   Paper_ID="/14178.html"   Extracted="3540705937"   />

      </rec>

      <rec   ID="/631849.html"   Type="unpublished"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Tutorial   on   Action   Semantics,">

            <identifier   Org="ISBN:0897917200"   Paper_ID="/631849.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/631849.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540615504"   Paper_ID="/631849.html"   Extracted="3540615504"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/86551.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Formal   Semantics   Reuse   for   Different   Programming   Languages,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Modular   Semantic   Specifications   to   Interpreter   Implementation   in"   />

</references_metadata>