Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Negotiated Interfaces for Software Reuse
IEEE Transactions on Software Engineering
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Characterizations of Reducible Flow Graphs
Journal of the ACM (JACM)
A Fast and Usually Linear Algorithm for Global Flow Analysis
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
On Live-Dead Analysis for Global Data Flow Problems
Journal of the ACM (JACM)
A Unified Approach to Path Problems
Journal of the ACM (JACM)
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Global optimization by suppression of partial redundancies
Communications of the ACM
An analysis of inline substitution for a structured programming language
Communications of the ACM
Communications of the ACM
A program data flow analysis procedure
Communications of the ACM
Automatic data structure choice in a language of very high level
Communications of the ACM
A general scheme for the automatic inference of variable types
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Application of lattice algebra to loop optimization
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A fast and usually linear algorithm for global flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic data structure choice in a language of very high level
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program schemas with concurrency: execution time and hangups
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Optimizing VHDL Compilation for Parallel Simulation
IEEE Design & Test
Realizing the Performance Potential of Cobol
IEEE Software
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
An interactive program advising system
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
On finding lowest common ancestors in trees
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Compiler design for efficient code generation and program optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Optimized machine-independent extended FORTRAN for minicomputer programming
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
The detection of anomalous interprocedural data flow
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software
Program optimization - theory and practice
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Program improvement by source to source transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Some experience with DAVE: a Fortran program analyzer
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
An algebraic foundation for truth maintenance
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Grammar characterization of flowgraphs
IBM Journal of Research and Development
Evolutionary testing of flag conditions
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Package architecture optimization in software application design
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Stochastic grammars for intelligent software systems modeling
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Hi-index | 0.08 |