M. Pettersson. A compiler for natural semantics. In T. Gyimothy, editor, Compiler Construction, 6th International Conference, volume 1060 of Lecture Notes in Computer Science, pages 177--191. Springer, 1996. 74 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
LATOS - A Lightweight Animation Tool for Operational Semantics - Hartel (1997) (3 citations) (Correct)
....make for a user friendly system [20, p. 180] The systems referred to above have one factor in common: they are all large. For example, in 1988 the Centaur system was reported to consist of 32k lines of code [4] and in 1996 the RML compiler and runtime system together comprised 15k lines of code [21]. The approach advocated in this paper is to build a lightweight tool that offers the most important facilities at a minimal cost. This implies a small size of the metalanguage compiler and minimal runtime support, a quick edit compile run cycle and a short learning period. The low cost is ....
M. Pettersson. A compiler for natural semantics. In T. Gyimothy, editor, 6th Compiler Construction (CC), LNCS 1060, pages 177--191. Springer-Verlag, Apr 1996. ftp:// ftp.ida.liu.se/ pub/ labs/ pelab/ papers/ cc96rml.ps.gz.
Many-Sorted Natural Semantics - Specification and Generation of.. - Glesner (1998) (Correct)
.... Work Our work is based on natural semantics [Kah87] which has been implemented in the Centaur system [BCD 88] using the Prolog based implementation language Typol [Des88] The implementation of natural semantics by using attribute grammars has been investigated in [Att88, AP94] Pet95, Pet96] introduces an alternative approach to implement natural semantics. His main goal is to improve the performance of the Centaur system which has been a major problem. Since his work concentrates on the dynamic semantics of programming languages where a continuation passing semantics determines ....
Mikael Pettersson. A Compiler for Natural Semantics. In Proceedings of the 6th International Conference on Compiler Construction,, CC'96, Linkoping, Sweden, April 1996. Springer, Lecture Notes in Computer Science, Vol. 1060.
Natural Semantics for Imperative and Object-Oriented Programming.. - Glesner (1998) (Correct)
....specification method which has been used extensively in the formal description of programming languages. In particular, there is a complete specification of the static and dynamic semantics of Standard ML [MTH90, MTHM97] There are two implementations of natural semantics, Typol [Des84] and RML [Pet95, Pet96]. In Typol, inference rules are regarded as Prolog clauses. The semantic analysis of a program tries to find semantic information for its root node by using the Prolog search engine. Hence, the program is traversed in a single left to right depth first traversal. While this is sufficient for most ....
Mikael Pettersson. A Compiler for Natural Semantics. In Proc. 6th Int'l Conf. on Compiler Construction, CC'96, 1996. Springer, LNCS Vol. 1060.
LATOS - A Lightweight Animation Tool for Operational Semantics - Hartel (1997) (3 citations) (Correct)
....make for a user friendly system [20, p. 180] The systems referred to above have one factor in common: they are all large. For example, in 1988 the Centaur system was reported to consist of 32k lines of code [4] and in 1996 the RML compiler and runtime system together comprised 15k lines of code [21]. The approach advocated in this paper is to build a lightweight tool that offers the most important facilities at a minimal cost. This is achieved by making maximum use of existing components, and by judiciously selecting essential features. The proposed latos program is small (2k lines of lex, ....
M. Pettersson. A compiler for natural semantics. In T. Gyimothy, editor, 6th Compiler Construction (CC), LNCS 1060, pages 177--191. Springer-Verlag, Apr 1996.
Using Many-Sorted Natural Semantics to Specify and Generate .. - Glesner, Zimmermann (1998) (Correct)
....attribute grammars. TYPOL is a specification language for common (one sorted) natural semantics, implemented in the CENTAUR system [BCD 88, Des88] The CENTAUR system searches for a proof using a Prolog implementation. Our search algorithm is a generalization of their search algorithm. Pet95, Pet96] introduces an alternative approach to implement natural semantics. The main goal is to improve the performance of the CENTAUR system. An alternative approach to specify and generate type analysis in objectoriented programming languages is type inference by constraint solving [PS94] However, the ....
Mikael Pettersson. A Compiler for Natural Semantics. In Proceedings of the 6th International Conference on Compiler Construction, , CC'96, Linkoping, Sweden, April 1996. Springer, Lecture Notes in Computer Science, Vol. 1060.
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (2 citations) (Correct)
No context found.
M. Pettersson. A compiler for natural semantics. In T. Gyimothy, editor, Compiler Construction, 6th International Conference, volume 1060 of Lecture Notes in Computer Science, pages 177--191. Springer, 1996. 74
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