Automatic generation of execution tools in a GANDALF environment

Authors:
Vincenzo Ambriola;Carlo Montangero
Affiliations:
Dipartimento di Informatica, Universita' di Pisa, Pisa, Italy;Dipartimento di Informatica, Universita' di Pisa, Pisa, Italy
Venue:
Journal of Systems and Software
Year:
1985

Citing 8
Cited 0

Generation of Compiler Symbol Processing Mechanisms from Specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment

Communications of the ACM
The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Non-syntactic attribute flow in language based editors

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pecan: Program development systems that support multiple views

ICSE '84 Proceedings of the 7th international conference on Software engineering
Definitional interpreters for higher-order programming languages

ACM '72 Proceedings of the ACM annual conference - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

The formal definition of a programming language in denotational style is taken as the basis for the automatic generation of its interpreter. The facilities available in GANDALF are exploited to implement and integrate such a generation technique in a GANDALF environment.