Sciweavers

506 search results - page 102 / 102
» Contracts as Pairs of Projections
Sort
View
PLDI
2011
ACM
12 years 8 months ago
Systematic editing: generating program transformations from an example
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
Na Meng, Miryung Kim, Kathryn S. McKinley