Lämmel
Kolloquium am 02.06.2003
Progam transformation in the age of software evolution
R. Lämmel
(VU&CWI Amsterdam)
The term "program transformation" is used in several ways:
(a) in the sense of the derivation of efficient programs from
high-level specifications; (b) in the sense of optimisations as
implemented in compilers; (c) in the sense of software modification as
relevant in re-engineering or refactoring. The categories (a) and (b)
have always received scientific attention at length. Exploration of
category (c) is becoming more urgent in the emerging age of software
evolution. Complete foundations and general methods of software
modification are needed in order to enjoy the age of software
evolution. This age comes with many challenges such as the magnitude
of language cocktails, the fast speed at which protocols, APIs, and
standards come and go, as well as the necessary complexity and the
required flexibility of long-lived, business-critical software
assets. In the present talk, I will make a few contributions to the
foundations and methods of software modification: (i) grammar
engineering, (ii) language-parametric program restructuring,
(iii) typed, generic AST traversal. To a large extent, this is joint work
with my colleagues here in Amsterdam, at CWI/SIG/VU.
| Termin : |
Montag, 02.06.2003, 16.00 Uhr |
| Raum : |
Gebäude 57, Raum 208 |
 | Feedback |
|
Email an den Verantwortlichen dieser Seite (sakdapol@informatik.uni-kl.de)
|
![[ENGLISH]](/images/english_21x14.gif){kind=small}
![[CLASSIC]](/images/fbi_classic_21x14.gif){kind=small}
![[FEEDBACK]](/images/brief_21x14.gif){kind=small}
