1991 | ||
---|---|---|
3 | Robert R. Kessler, Jed J. Krohnfeldt: A Logical Approach to Program Analysis. Lisp and Symbolic Computation 4(1): 5-27 (1991) | |
1986 | ||
2 | EE | Robert R. Kessler, J. C. Peterson, Harold Carr, Gerald P. Duggan, J. Knell, Jed J. Krohnfeldt: EPIC - a retargetable, highly optimizing Lisp compiler. SIGPLAN Symposium on Compiler Construction 1986: 118-130 |
1985 | ||
1 | Jed J. Krohnfeldt, Robert R. Kessler: MicroScope: Rule-Based Analysis of Programming Environments. CAIA 1985: 269-274 |
1 | Harold Carr | [2] |
2 | Gerald P. Duggan | [2] |
3 | Robert R. Kessler | [1] [2] [3] |
4 | J. Knell | [2] |
5 | J. C. Peterson | [2] |