The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A knowledge base for supporting an intelligent program editor
ICSE '84 Proceedings of the 7th international conference on Software engineering
A session with Tinker: Interleaving program testing with program design
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
An automatic programming system to support an experimental science
ICSE '82 Proceedings of the 6th international conference on Software engineering
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
Framework of the decision support expert systems
WSC '84 Proceedings of the 16th conference on Winter simulation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Overview of the programmer's apprentice
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A method for automatically analyzing programs
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A knowledge based program editor
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Symbolic execution in algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A knowledge-based approach to design
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Hi-index | 0.00 |