The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Passes, sweeps, and visits in attribute grammars
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Synthesis techniques for digital systems design
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
On the Complexity of Flowchart and Loop Program Schemes and Programming Languages
Journal of the ACM (JACM)
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Communications of the ACM
Almost control-free (indeterministic) parallel computation on permit schemes
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synchronous schemes and their decision problems
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
On the theory of programming logics
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Propositional modal logic of programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
On teaching theoretical foundations of Computer Science
ACM SIGACT News
On the computational complexity of dynamic slicing problems for program schemas
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
Complexity of Data Dependence Problems for Program Schemas with Concurrency
ACM Transactions on Computational Logic (TOCL)
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.02 |