Searching for authors named Penny Anderson – sorted by Relevance.
-
Representing Proof Transformations for Program Optimization
- Representing Proof Transformations for Program Optimization Penny Anderson N 2229 Mai 1994 PROGRAMME 2
- Cited by 6 (1 self) – Add To MetaCart
-
Program Extraction in a Logical Framework Setting
- Program Extraction in a Logical Framework Setting Penny Anderson INRIA, Unit'e de Recherche de
- Cited by 3 (1 self) – Add To MetaCart
-
Verifying Uniqueness in a Logical Framework
- Verifying Uniqueness in a Logical Framework Penny Anderson 1 and Frank Pfenning 2# 1 penny
- Cited by 2 (0 self) – Add To MetaCart
-
Program Development Schemata as Derived Rules
- ANDERSON t AND DAVID BASIN t Department of Computer Science, The College of New Jersey, Ewing, NJ 08628
- Cited by 10 (2 self) – Add To MetaCart
-
Deriving and Applying Logic Program Transformers
- Deriving and Applying Logic Program Transformers Penny Anderson and David Basin Max
- Cited by 6 (4 self) – Add To MetaCart
-
MADEX: Martian Drilling and Exploration Metropolitan State College of Denver
- Cox, John Addante, Don Anderson, Dudley Bacon, Sam Bacon, Shara Barkovich, Jeff Bowman, Andrew
- Add To MetaCart

