dblp.uni-trier.dewww.uni-trier.de

Penny Anderson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
6EEPenny 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
4EEBill 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
2EEPenny Anderson: Representing Proof Transformations for Program Optimizations. CADE 1994: 575-589
1EEPenny Anderson: Program Extraction in a Logical Framework Setting. LPAR 1994: 144-158

Coauthor Index

1David A. Basin [3] [5]
2Judith Bayard Cushing (Judy Cushing) [4]
3Keith Vander Linden [4]
4Bill Marion [4]
5Frank Pfenning [6]
6Roberta Evans Sabin [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)