Sciweavers

2 search results - page 1 / 1
» Reverse Engineering is Reverse Forward Engineering
Sort
View
AMAST
2008
Springer
15 years 3 months ago
Constant Complements, Reversibility and Universal View Updates
The algebraic specification of information systems (including
Michael Johnson, Robert D. Rosebrugh
AMAST
2006
Springer
15 years 5 months ago
The Substitution Vanishes
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
Armin Kühnemann, Andreas Maletti