Analysis of interprocedural side effects in a parallel programming environment
Journal of Parallel and Distributed Computing - Special Issue on Languages, Compilers and environments for Parallel Programming
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Lightweight source model extraction
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
A framework for selective recompilation in the presence of complex intermodule dependencies
Proceedings of the 17th international conference on Software engineering
The design of whole-program analysis tools
Proceedings of the 18th international conference on Software engineering
An empirical study of static call graph extractors
Proceedings of the 18th international conference on Software engineering
Analysis and caching of dependencies
Proceedings of the first ACM SIGPLAN international conference on Functional programming
ICSE '94 Proceedings of the 16th international conference on Software engineering
Effective Axiomatizations of Hoare Logics
Journal of the ACM (JACM)
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
The machine-assisted proof of programming language properties
The machine-assisted proof of programming language properties
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A Framework for Automatic Construction of Abstract Promela Models
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Evergreen: a fault-tolerant application streaming technique
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 3
| Hi-index | 0.00 |