Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2010

A relational approach to interprocedural shape analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2010

WYSINWYX: What you see is not what you eXecute.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2010

View-Augmented Abstractions.

[BibT_eX]

[DOI]

Matt Elder

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Statically Inferring Complex Heap, Array, and Numeric Invariants.

[BibT_eX]

[DOI]

Bill McCloskey

Proceedings of the Static Analysis - 17th International Symposium, 2010

DIFC programs by automatic instrumentation.

[BibT_eX]

[DOI]

William R. Harris

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Directed Proof Generation for Machine Code.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Reducing concurrent analysis under a context bound to sequential analysis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2009

Simulating reachability using first-order logic with applications to verification of linked data structures

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2009

Verifying Information Flow Control over Unbounded Processes.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2008

Interprocedural Analysis of Concurrent Programs Under a Context Bound.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Analyzing Stripped Device-Driver Executables.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Solving Multiple Dataflow Queries Using WPDSs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 15th International Symposium, 2008

Language Strength Reduction.

[BibT_eX]

[DOI]

Nicholas Kidd

Proceedings of the Static Analysis, 15th International Symposium, 2008

Improved Memory-Access Analysis for x86 Executables.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 17th International Conference, 2008

A System for Generating Static Analyzers for Machine Instructions.

[BibT_eX]

[DOI]

Junghee Lim

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

A Next-Generation Platform for Analyzing Executables.

[BibT_eX]

[DOI]

Proceedings of the Malware Detection, 2007

Logical characterizations of heap abstractions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2007

Constructing Specialized Shape Analyses for Uniform Change.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

DIVINE: DIscovering Variables IN Executables.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

Abstract Error Projection.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 14th International Symposium, 2007

Guided Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 14th International Symposium, 2007

Program Analysis Using Weighted Pushdown Systems.

[BibT_eX]

[DOI]

Nicholas Kidd

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

Low-Level Library Analysis and Summarization.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Revamping TVLA: Making Parametric Shape Analysis Competitive.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Comparison Under Abstraction for Verifying Linearizability.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Labelled Clauses.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Shape Analysis and Applications.

[BibT_eX]

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Verifying Temporal Heap Properties Specified via Evolution Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2006

Extracting Output Formats from Executables.

[BibT_eX]

[DOI]

Junghee Lim

Ben Liblit

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Weighted Pushdown Systems and Trust-Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Verifying Concurrent Message-Passing C Programs with Recursive Calls.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 13th International Symposium, 2006

Recency-Abstraction for Heap-Allocated Storage.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 13th International Symposium, 2006

Intermediate-representation recovery from low-level code.

[BibT_eX]

[DOI]

Junghee Lim

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Reducing the Dependence of SPKI/SDSI on PKI.

[BibT_eX]

[DOI]

Stuart G. Stubblebine

Proceedings of the Computer Security, 2006

Improving Pushdown System Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Lookahead Widening.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

An Appreciation of the Work of Reinhard Wilhelm.

[BibT_eX]

[DOI]

Jörg Bauer

Proceedings of the Program Analysis and Compilation, 2006

Refinement-Based Verification for Possibly-Cyclic Lists.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

2005

Analysis of recursive state machines.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Weighted pushdown systems and their application to interprocedural dataflow analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Automatic Verification of Strongly Dynamic Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

WYSINWYX: What You See Is Not What You eXecute.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

A Relational Abstraction for Functions.

[BibT_eX]

[DOI]

Bertrand Jeannet

Proceedings of the Static Analysis, 12th International Symposium, 2005

A semantics for procedure local heaps and its abstractions.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

A framework for numeric analysis of array operations.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Automatic discovery of API-level exploits.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

CodeSurfer/x86-A Platform for Analyzing x86 Executables.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 14th International Conference, 2005

Abstraction Refinement via Inductive Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Extended Weighted Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Model checking SPKI/SDSI.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

Symbolic Implementation of the Best Transformer.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.

[BibT_eX]

[DOI]

Alexander Moshe Rabinovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Numeric Domains with Summarized Dimensions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.

[BibT_eX]

[DOI]

Neil Immerman

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Analyzing Memory Accesses in x86 Executables.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 13th International Conference, 2004

Static Program Analysis via 3-Valued Logic.

[BibT_eX]

[DOI]

Alexander Moshe Rabinovich

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Verification via Structure Simulation.

[BibT_eX]

[DOI]

Neil Immerman

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Design and Implementation of a Fine-Grained Software Inspection Tool.

[BibT_eX]

[DOI]

Paul Anderson

IEEE Trans. Software Eng., 2003

Tool Support for Fine-Grained Software Inspection.

[BibT_eX]

[DOI]

IEEE Softw., 2003

Computational Divided Differencing and Divided-Difference Arithmetics.

[BibT_eX]

[DOI]

Louis B. Rall

High. Order Symb. Comput., 2003

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.

[BibT_eX]

[DOI]

Stefan Schwoon

Proceedings of the Static Analysis, 10th International Symposium, 2003

On Generalized Authorization Problems.

[BibT_eX]

[DOI]

Stefan Schwoon

Stuart G. Stubblebine

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

The Interprocedural Express-Lane Transformation.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Parametric shape analysis via 3-valued logic.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2002

Program slicing for VHDL.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2002

Semantic Minimization of 3-Valued Propositional Formulae.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Analysis of SPKI/SDSI Certificates Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

Static Program Analysis via 3-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

Shape Analysis and Applications.

[BibT_eX]

[DOI]

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

2001

Model Checking of Unrestricted Hierarchical State Machines.

[BibT_eX]

[DOI]

Michael Benedikt

Patrice Godefroid

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Debugging via Run-Time Type Checking.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Typestate Checking of Machine Code.

[BibT_eX]

[DOI]

Zhichen Xu

Barton P. Miller

Proceedings of the Programming Languages and Systems, 2001

Algorithmic Differencing.

[BibT_eX]

[DOI]

Louis B. Rall

Proceedings of the Perspectives on Enclosure Methods, 2001

2000

Undecidability of context-sensitive data-independence analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Interconvertibility of a class of set constraints and context-free-language reachability.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Safety checking of machine code.

[BibT_eX]

[DOI]

Zhichen Xu

Barton P. Miller

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Putting static analysis to work for verification: A case study.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Shape Analysis.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 9th International Conference, 2000

1999

Identifying Modules via Concept Analysis.

[BibT_eX]

[DOI]

Michael Siff

IEEE Trans. Software Eng., 1999

Physical type checking for C.

[BibT_eX]

[DOI]

Satish Chandra

ACM SIGSOFT Softw. Eng. Notes, 1999

Pointer Analysis for Programs with Structures and Casting.

[BibT_eX]

[DOI]

Suan Hsi Yong

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

A Decidable Logic for Describing Linked Data Structures.

[BibT_eX]

[DOI]

Michael Benedikt

Proceedings of the Programming Languages and Systems, 1999

Coping with Type Casts in C.

[BibT_eX]

[DOI]

Michael Siff

Satish Chandra

Thomas Ball

Krishna Kunchithapadam

Proceedings of the Software Engineering, 1999

Program Slicing of Hardware Description Languages.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Interprocedural Path Profiling.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

Solving Shape-Analysis Problems in Languages with Destructive Updating.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1998

"Maximal-munch" Tokenization in Linear Time.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1998

Program comprehension and software reengineering.

[BibT_eX]

[DOI]

Hausi A. Müller

Gregor Snelting

ACM SIGSOFT Softw. Eng. Notes, 1998

Program analysis via graph reachability.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1998

1997

Interconveritibility of Set Constraints and Context-Free Language Reachability.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

The Use of Program Profiling for Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

1996

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

On the Computational Complexity of Dynamic Graph Problems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

An Incremental Algorithm for a Generalization of the Shortest-Path Problem.

[BibT_eX]

[DOI]

J. Algorithms, 1996

On the Sequential Nature of Interprocedural Program-Analysis Problems.

[BibT_eX]

[DOI]

Acta Informatica, 1996

Program Generalization for Software Reuse: From C to C++.

[BibT_eX]

[DOI]

Michael Siff

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Program Specialization via Program Slicing.

[BibT_eX]

[DOI]

Todd Turnidge

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

Program Integration for Languages with Procedure Calls.

[BibT_eX]

[DOI]

David W. Binkley

ACM Trans. Softw. Eng. Methodol., 1995

Precise Interprocedural Chopping.

[BibT_eX]

[DOI]

Genevieve Rosay

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Demand Interprocedural Dataflow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Precise Interprocedural Dataflow Analysis via Graph Reachability.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Shape Analysis as a Generalized Path Problem.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Semantic Foundations of Binding Time Analysis for Imperative Programs.

[BibT_eX]

[DOI]

Manuvir Das

Pascal Van Hentenryck

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994

On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1994

Speeding up Slicing.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Solving Demand Versions of Interprocedural Analysis Problems.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

A Categorized Bibliography on Incremental Computation.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Demand Interprocedural Program Analysis Using Logic Databases.

[BibT_eX]

Proceedings of the Applications of Logic Databases, 1993

1992

A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.

[BibT_eX]

[DOI]

Wuu Yang

ACM Trans. Softw. Eng. Methodol., 1992

Programming environments: report on an international workshop at Dagstuhl Castle.

[BibT_eX]

[DOI]

Paul Klint

Gregor Snelting

ACM SIGPLAN Notices, 1992

The Use of Program Dependence Graphs in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Algebraic Properties of Program Integration.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1991

Efficient Comparison of Program Slices.

[BibT_eX]

[DOI]

Acta Informatica, 1991

A Theory of Program Modifications.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Modification Algebras.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Interprocedural Slicing Using Dependence Graphs.

[BibT_eX]

[DOI]

David W. Binkley

ACM Trans. Program. Lang. Syst., 1990

1989

Integrating Noninterfering Versions of Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1989

The Semantics of Program Slicing and Program Integration.

[BibT_eX]

[DOI]

Wuu Yang

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Illustrating Interference in Interfering Versions of Programs.

[BibT_eX]

[DOI]

T. Bricker

Proceedings of the 2nd International Workshop on Software Configuration Management, 1989

Dependence Analysis for Pointer Variables.

[BibT_eX]

[DOI]

Phil Pfeiffer

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

The Synthesizer Generator - A System for Constructing Language-Based Editors.

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9623-9, 1989

The Synthesizer Generator Reference Manual, Third Edition.

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9633-8, 1989

1988

Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications.

[BibT_eX]

[DOI]

Acta Informatica, 1988

Support for Integrating Program Variants in an Environment for Programming in the Large.

[BibT_eX]

Proceedings of the International Workshop on Software Version and Configuration Control, 1988

On the Adequacy of Program Dependence Graphs for Representing Programs.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Integrating Non-Interfering Versions of Programs.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Interprocedural slicing using dependence graphs (with retrospective)

[BibT_eX]

[DOI]

David W. Binkley

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988

Semantics-Based Program Integration.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1987

Sublinear-Space Evaluation Algorithms for Attribute Grammars.

[BibT_eX]

[DOI]

Alan J. Demers

ACM Trans. Program. Lang. Syst., 1987

Language Processing in Program Editors.

[BibT_eX]

[DOI]

Computer, 1987

1986

Remote Attribute Updating for Language-Based Editors.

[BibT_eX]

[DOI]

Carla Marceau

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1984

The Synthesizer Generator.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

Interactive Proof Checking.

[BibT_eX]

[DOI]

Bowen Alpern

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Generating Language-Based Environments.

[BibT_eX]

[DOI]

MIT Press, ISBN: 978-0-262-68146-9, 1984

1983

Incremental Context-Dependent Analysis for Language-Based Editors.

[BibT_eX]

[DOI]

Alan J. Demers

ACM Trans. Program. Lang. Syst., 1983

1982

Generating Language-Based Environments.

[BibT_eX]

PhD thesis, 1982

Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

The why and wherefore of the Cornell Program Synthesizer.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, 1981

The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.

[BibT_eX]

[DOI]

Commun. ACM, 1981

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.

[BibT_eX]

[DOI]

Alan J. Demers