| |
| 2004 | ||
|---|---|---|
| 6 | EE | Penny Anderson, Frank Pfenning: Verifying Uniqueness in a Logical Framework. TPHOLs 2004: 18-33 |
| 2000 | ||
| 5 | Penny Anderson, David A. Basin: Program Development Schemata as Derived Rules. J. Symb. Comput. 30(1): 5-36 (2000) | |
| 1998 | ||
| 4 | EE | Bill Marion, Keith Vander Linden, Roberta Evans Sabin, Judy Cushing, Penny Anderson: Integrating recent research results into undergraduate curricula (panel): initial steps. SIGCSE 1998: 378-379 |
| 1995 | ||
| 3 | Penny Anderson, David A. Basin: Deriving and Applying Logic Program Transformers. ASIAN 1995: 301-318 | |
| 1994 | ||
| 2 | Penny Anderson: Representing Proof Transformations for Program Optimizations. CADE 1994: 575-589 | |
| 1 | Penny Anderson: Program Extraction in a Logical Framework Setting. LPAR 1994: 144-158 | |
| 1 | David A. Basin | [3] [5] |
| 2 | Judith Bayard Cushing (Judy Cushing) | [4] |
| 3 | Keith Vander Linden | [4] |
| 4 | Bill Marion | [4] |
| 5 | Frank Pfenning | [6] |
| 6 | Roberta Evans Sabin | [4] |