Program development schemata as derived rules

Authors:
Penny Anderson;David Basin
Affiliations:
-;-
Venue:
Journal of Symbolic Computation - Special Issue on Schemas
Year:
2000

Citing 0
Cited 3

Abstracting refinements for transformation

Nordic Journal of Computing
Structured formal development in Isabelle

Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Schema-guided synthesis of imperative programs by constraint solving

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract