The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
Design, implementation and evaluation of the FNC-2 attribute grammar system
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Eli: a complete, flexible compiler construction system
Communications of the ACM
Modularity and reusability in attribute grammars
Acta Informatica
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
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 XML Companion
Attribute grammars as a functional programming paradigm
Proceedings of the Functional Programming Languages and Computer Architecture
Elementary Strong Functional Programming
FPLE '95 Proceedings of the First International Symposium on Functional Programming Languages in Education
Component-Based Programming for Higher-Order Attribute Grammars
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Lrc - A Generator for Incremental Language-Oriented Tools
CC '98 Proceedings of the 7th International Conference on Compiler Construction
LISA: An Interactive Environment for Programming Language Development
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Forwarding in Attribute Grammars for Modular Language Design
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Program and aspect metrics for MATLAB
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Model-based programming environments for spreadsheets
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Parallel schedule synthesis for attribute grammars
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
| Hi-index | 0.00 |
This paper presents techniques for the formal specification and efficient incremental implementation of spreadsheet-like tools. The spreadsheets are specified by strong attribute grammars. In this style of attribute grammar programming every single inductive computation is expressed within the attribute grammar formalism. Well-known attribute grammar techniques are used to reason about such grammars. For example, ordered scheduling algorithms can be used to statically guarantee termination of the attribute grammars and to derive efficient implementations. A strong attribute grammar for a spreadsheet is defined and the first incremental results are presented.