Penny Anderson

According to our database, Penny Anderson authored at least 7 papers between 1994 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Verifying Uniqueness in a Logical Framework.

Penny Anderson, Frank Pfenning

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2000

Program Development Schemata as Derived Rules.

Penny Anderson, David A. Basin

J. Symb. Comput., 2000

1998

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

Bill Marion, Keith Vander Linden, Roberta Evans Sabin, Judy Cushing, Penny Anderson

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

1997

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

Ursula Wolz, Jacob Palme, Penny Anderson, Zhi Chen, James Dunne, Göran Karlsson, Atika Laribi, Sirkku Männikö, Robert Spielvogel, Henry M. Walker

Proceedings of the supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, 1997

1995

Deriving and Applying Logic Program Transformers.

Penny Anderson, David A. Basin

Proceedings of the Algorithms, 1995

1994

Program Extraction in a Logical Framework Setting.

Penny Anderson

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Representing Proof Transformations for Program Optimizations.

Penny Anderson

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994