| 
|
Quote: program refinements can be formalized by transformation rules with a source pattern, target pattern, and enabling condition
topics >
all references >
references sa-sz >
Topic:
transformation of programs
Topic:
string transformation languages
Quotation Skeleton
Refinements can be formalized in terms of transformation … rules are typically comprised of a source pattern, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: transformation of programs (27 items)
Topic: string transformation languages (17 items)