Incremental data flow analysis in a structured program editor

The impact of interprocedural analysis and optimization in the Rn programming environment

ACM Transactions on Programming Languages and Systems (TOPLAS)

Incremental data-flow analysis algorithms

ACM Transactions on Programming Languages and Systems (TOPLAS)

A categorized bibliography on incremental computation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Lattice frameworks for multisource and bidirectional data flow problems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Incremental data flow analysis in a structured program editor

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Attribute propagation by message passing

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments

The impact of interprocedural analysis and optimization on the design of a software development environment

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments

Optimizing a geomodeling domain specific language

SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages