In this paper, we present a new approach to the logical formalization of ambiguous inheritance hierarchies. This approach involves the translation of inheritance nets into their corresponding hierarchical and stratifi...
详细信息
Modelling a complex software system requires a description of how its components are related to one another. We propose a new approach to this problem based on logicprogramming. A declarative system model is develope...
详细信息
The proceedings contain 23 papers. The special focus in this conference is on Compiler Compilers. The topics include: Using an LALR compiler compiler to generate incremental parsers;generating efficient code from cont...
ISBN:
(纸本)9783540536697
The proceedings contain 23 papers. The special focus in this conference is on Compiler Compilers. The topics include: Using an LALR compiler compiler to generate incremental parsers;generating efficient code from continuation semantics;Optimizing directly executable LR parsers;SYS/3 – a software development tool;An attributed ELL(1)-parser generator;a hybrid top-down parsing technique;computer-aided building of a compiler: An example;specification and implementation of a tree-abiding interface for ada;towards a multilingual natural language understanding interface;Application development with the FNC-2 attribute grammar system;mixed dialogue control defined by an attribute grammar;mate – a metasystem with concurrent attribute evaluation;A practical implementation of DCGs;algorithmic debugging for imperative languages with side-effects;compilation for instruction parallel processors;a generator for production quality compilers;rie and Jun: Towards the generation of all compiler phases;STARLET : An affix-based compiler compiler designed as a logicprogramming system;PAGODE: A back end generator using attribute abstract syntaxes and term rewritings;a tool box for compiler construction;tools and techniques of annotated programming.
We present STARLET, a new compiler compiler which compiles Extended Affix Grammars defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points wh...
详细信息
Software configuration management (SCM) seeks to control the evolution of software systems. In this paper, we introduce a new object-oriented model of SCM that is based on the earlier research results of the SAGA proj...
详细信息
暂无评论