Penny Anderson (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Penny Anderson, David A. Basin: Program Development Schemata as Derived Rules. J. Symb. Comput. 30(1): 5-36 (2000)

3 Penny Anderson, David A. Basin: Deriving and Applying Logic Program Transformers. ASIAN 1995: 301-318

Selection of 2 from 6 records - Penny Anderson has 6 coauthors

5		Penny Anderson, David A. Basin: Program Development Schemata as Derived Rules. J. Symb. Comput. 30(1): 5-36 (2000)
3		Penny Anderson, David A. Basin: Deriving and Applying Logic Program Transformers. ASIAN 1995: 301-318