CENTAUR: Towards a "software tool box" for Programming Environments
| Citations: | 2 - 0 self |
BibTeX
@MISC{Clément_centaur:towards,
author = {Dominique Clément and Janet Incerpi and Gilles Kahn},
title = {CENTAUR: Towards a "software tool box" for Programming Environments},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Display Machine. This provides a standardized protocol for displaying structured objects and is useful for mixed-language environments. 2.2.2. Specifying semantics To derive systematically a language-specific interactive programming environment it is necessary to go beyond syntax and introduce semantic specifications. For example: -- from a specification of static semantics, one wants to derive a type checker and contextdependent interactions, -- from a specification of dynamic semantics, one wants to derive an interpreter and a symbolic debugger. Several formalims could be used to express the semantics of programming languages. We have experimented with a formalism based on Natural Deduction that we call Natural Semantics [16]. A semantic specification is written in TYPOL [6], the computer version of Natural Semantics. Other experiments have been carried out using ASF [1], an algebraic specification formalism. Both formalisms are type-checked and compiled into executable form. At the...
