Semantic foundations of binding-time analysis for imperative programs

Authors:
Manuvir Das;Thomas Reps;Pascal van Hentenryck
Affiliations:
Computer Sciences Department, University of Wisconsin-Madison, 1210 West Dayton St., Madison, WI;Computer Sciences Department, University of Wisconsin-Madison, 1210 West Dayton St., Madison, WI;Computer Sciences Department, Brown University, 115 Waterman St., Providence, RI
Venue:
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Year:
1995

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Detecting equality of variables in programs

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Techniques for partial evaluation of imperative languages

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Finiteness analysis

Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
A program integration algorithm that accommodates semantics-preserving transformations

ACM Transactions on Software Engineering and Methodology (TOSEM)
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Specifying the correctness of binding-time analysis

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Certification of programs for secure information flow

Communications of the ACM
The program dependence graph in a software development environment

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Data specialization

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Specialization tools and techniques for systematic optimization of system software

ACM Transactions on Computer Systems (TOCS)
A Per Model of Secure Information Flow in Sequential Programs

Higher-Order and Symbolic Computation
A Per Model of Secure Information Flow in Sequential Programs

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Forward slicing of multi-paradigm declarative programs based on partial evaluation

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

Hi-index	0.00