Penny Anderson

发表

Verifying Uniqueness in a Logical Framework

Frank Pfenning, Penny Anderson, 2004, TPHOLs.

Integrating recent research results into undergraduate curricula (panel): initial steps

Judith Bayard Cushing, Bill Marion, Roberta Evans Sabin, 1998, SIGCSE '98.

Program derivation by proof transformation

Penny Anderson, P. Anderson, 1993 .

Computer-mediated communication in collaborative educational settings (report of the ITiCSE 1997 working group on CMC in collaborative educational settings)

Zhi Chen, Henry MacKay Walker, Jacob Palme, 1997, ITiCSE-WGR.

Program Development Schemata as Derived Rules

David A. Basin, Penny Anderson, D. Basin, 2000, J. Symb. Comput..

Representing Proof Transformations for Program Optimizations

Penny Anderson, P. Anderson, 1994, CADE.

Program Extraction in a Logical Framework Setting

Penny Anderson, P. Anderson, 1994, LPAR.

Deriving and Applying Logic Program Transformers

David A. Basin, Penny Anderson, D. Basin, 1995, ASIAN.