Symbolic analysis for parallelizing compilers | ACM Transactions on Programming Languages and Systems |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 19 | 1996 |
Cost analysis of logic programs | ACM Transactions on Programming Languages and Systems |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 32 | 1993 |
Task granularity analysis in logic programs | ACM SIGPLAN Notices | | 6 | 1990 |
Automating program analysis | Journal of the ACM |
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Science (General): Cybernetics: Information theory
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 16 | 1988 |
Computer-assisted microanalysis of programs | Communications of the ACM |
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 26 | 1982 |