Papers
CodeSurfer and Software Re-engineering
User-Interfaces for Formal Methods Systems
Language-Based Environments
GrammaTech, Inc., founded in 1988, is an outgrowth of fundamental research in incremental computation and language-based environments at Cornell University dating from 1978.
See the Bibliography for a complete list of papers describing the principles of constructing language-based environments.