Incremental evaluation of computational circuits

Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

Volumn , Issue , 1990, Pages 32-42

  Alpern, Bowen ^a   Hoover, Roger ^a   Rosen, Barry K ^a   Sweeney, Peter F ^b   Zadeck, F Kenneth ^c  

^a IBM RESEARCH   (United States)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

^c BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECTED GRAPHS; GRAPH THEORY; SEMANTICS; TIMING CIRCUITS; TOPOLOGY;

CIRCUIT VALUE PROBLEM; COMPUTATIONAL CIRCUITS; COMPUTATIONAL PROBLEM; COMPUTER-AIDED DESIGN SYSTEMS; DIRECTED ACYCLIC GRAPH (DAG); INCREMENTAL ALGORITHM; INCREMENTAL COMPUTATION; INCREMENTAL EVALUATION;

ELECTRIC NETWORK ANALYSIS;

EID: 33646172999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. B. Alpern, A. Carle, B. K. Rosen, P. Sweeney, and F. K. Zadeck. Graph attribution as a specification paradigm. Proc. Third ACM SIG-SOFT/SIGPLAN Symp. on Software Development Environments, pages 121-129, November 1988.
2. K. P. Brooks. A two-view document editor with user-definable document structure. Technical Report 33, Digital Equipment Corp. Systems Research Center, November 1988.
3. P. F. Dietz and D. D. Sleator. Two algorithms for maintaining order in a list. Proc. Nineteenth ACM Symp. on Theory of Computing, pages 365-372, May 1987.
4. R. W. Farrow. Automatic generation of fixedpoint-finding evaluators for circular, but welldefined, attribute grammars. Proc. SIGPLAN'86 Symp. on Compiler Construction, pages 85-98, June 1986. Published as SIGPLAN Notices Vol. 21, Num. 7.
5. R. Hoover. Incremental graph evaluation. Technical Report 87-836 (PhD Thesis), Dept. of Computer Sci., Cornell U., May 1987.
6. S. E. Hudson and R. King. Semantic feedback in the Higgens UIMS. IEEE Trans, on Software Engineering, 14:1188-1206, 1988.
7. L. G. Jones and J. Simon. Hierarchical VLSI design systems based on attribute grammars. Conf. Rec. Thirteenth ACM Symp. on Principles of Programming Languages, pages 58-69, January 1986.
8. D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127-145, 1968.
9. L. Lamport. LaTeX - A Document Preparation System. Addison-Wesley, 1986.
10. T. Reps. Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Acta Informatica, 25:155-178, 1987.
11. T. Reps, C. Marceau, and T. Teitlebaum. Remote attribute updating for language based editors. Conf. Rec. Thirteenth ACM Symp. on Principles of Programming Languages, pages 1-13, January 1986.
12. T. W. Reps. Generating Language-Based Environments. The MIT Press, Cambridge, Mass., 1984.
13. T. W. Reps and T. Teitelbaum. The Synthesizer Generator. Springer-Verlag, New York, 1989.
14. R. E. Tarjan and J. van Leeuwen. Worst-case analysis of set union algorithms. J. ACM, 31(2):245-281, April 1984.