Towards the derivation of an experimental programming environment from language formal specifications

The paper is concerned with a methodology for deriving an integrated programming enviroment for a specific programming language, from a set of language independent tools and a formal definition of the programming language. The approach is to define some general tools which can be used to obtain a set of granular language-dependent tools from syntactic and semantic language definitions.