Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

SPINE: A Synthesizer for Practical Incremental Evaluators

Kannan Muthukkaruppan

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-94-819
May 1994

http://www.eecs.berkeley.edu/Pubs/TechRpts/1994/CSD-94-819.pdf

SPINE is a system for efficiently generating practical incremental evaluators based on recursive procedures for the strongly non-circular class of attribute grammars (AGs). Several interactive language-based software development environments use incremental evaluation of attribute grammars for context-sensitive static semantic analysis. The key advantages this system offers over other existing incremental AG systems are ease of evaluator construction, effective consumption of space, applicability to a large class of AGs, ability to handle multiple site attribute tree transformations and close to optimal performance. ASPEC is the AG-description language that has been specially designed for the SPINE system.

SPINE has been used innovatively in the Ensemble software development environment to provide advanced incremental formatting of documents. ASPEC serves as the format specification tool for Ensemble documents. The ASPEC language provides several powerful default mechanisms which make these specifications very concise.


BibTeX citation:

@techreport{Muthukkaruppan:CSD-94-819,
    Author = {Muthukkaruppan, Kannan},
    Title = {SPINE: A Synthesizer for Practical Incremental Evaluators},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1994},
    Month = {May},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1994/5611.html},
    Number = {UCB/CSD-94-819},
    Abstract = {SPINE is a system for efficiently generating practical incremental evaluators based on recursive procedures for the strongly non-circular class of attribute grammars (AGs). Several interactive language-based software development environments use incremental evaluation of attribute grammars for context-sensitive static semantic analysis. The key advantages this system offers over other existing incremental AG systems are ease of evaluator construction, effective consumption of space, applicability to a large class of AGs, ability to handle multiple site attribute tree transformations and close to optimal performance. ASPEC is the AG-description language that has been specially designed for the SPINE system. <p>SPINE has been used innovatively in the Ensemble software development environment to provide advanced incremental formatting of documents. ASPEC serves as the format specification tool for Ensemble documents. The ASPEC language provides several powerful default mechanisms which make these specifications very concise.}
}

EndNote citation:

%0 Report
%A Muthukkaruppan, Kannan
%T SPINE: A Synthesizer for Practical Incremental Evaluators
%I EECS Department, University of California, Berkeley
%D 1994
%@ UCB/CSD-94-819
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1994/5611.html
%F Muthukkaruppan:CSD-94-819