1805 search results - page 295 / 361 » Understanding Code Mobility |
ICSM
1999
IEEE
15 years 3 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
ERSHOV
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
ICSE
1999
IEEE-ACM
15 years 3 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
Decomposing complex software systems into conceptually independent subsystems is a significant software engineering activity which received considerable research attention. Most o...
IMPERIAL
1993
15 years 3 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...