כניסה

טרנספורמציות לשיפור איכות קוד קיים

(תקציר באנגלית – ההרצאות ניתנות בעברית אך חמרי הקורס הם באנגלית)

 

This is a graduate-level course teaching how to construct algorithms

for manipulating existing code with the goal of improving its internal

design. The improved, refactored code, will be easier to understand

and maintain, for example due to higher levels of reuse, achieved by

the elimination of code duplication. State-of-the-art algorithms for

duplication removal (in difficult cases where each instance was

modified such that the identical code is no longer contiguous), will be

reviewed. A formal approach for the expression and derivation of such

algorithms, in a "correct-by-construction" manner, will be taught.