3706 search results - page 221 / 742 » The Transformational Approach to Program Development |
133
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
127
click to vote
PADL
2005
Springer
15 years 8 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
119
click to vote
ICSM
1996
IEEE
15 years 7 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
134
click to vote
SE
2008
15 years 4 months ago
2008
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
118
click to vote
ACE
2004
15 years 4 months ago
2004
An examination of some recent programming texts indicates that the complexities of modern programming languages and environments have replaced the study of algorithms and programm...