2000 search results - page 164 / 400 » Program Transformation and Proof Transformation |
107
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...
129
Voted
IWPC
1997
IEEE
15 years 8 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
148
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
106
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
112
Voted
SAS
2000
Springer
15 years 7 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...