|
Search the dblp DataBase
Penny Anderson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Penny Anderson, David A. Basin
Deriving and Applying Logic Program Transformers. [Citation Graph (0, 0)][DBLP] ASIAN, 1995, pp:301-318 [Conf]
- Penny Anderson
Representing Proof Transformations for Program Optimizations. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:575-589 [Conf]
- Penny Anderson
Program Extraction in a Logical Framework Setting. [Citation Graph (0, 0)][DBLP] LPAR, 1994, pp:144-158 [Conf]
- Bill Marion, Keith Vander Linden, Roberta Evans Sabin, Judy Cushing, Penny Anderson
Integrating recent research results into undergraduate curricula (panel): initial steps. [Citation Graph (0, 0)][DBLP] SIGCSE, 1998, pp:378-379 [Conf]
- Penny Anderson, Frank Pfenning
Verifying Uniqueness in a Logical Framework. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:18-33 [Conf]
- Penny Anderson, David A. Basin
Program Development Schemata as Derived Rules. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:30, n:1, pp:5-36 [Journal]
Search in 0.001secs, Finished in 0.001secs
|