1205 search results - page 82 / 241 » Program Extraction from Large Proof Developments |
106
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
119
click to vote
SOFTVIS
2005
ACM
15 years 7 months ago
2005
ACM
Large software projects often require a programmer to make changes to unfamiliar source code. This paper presents the results of a formative observational study of seven professio...
151
Voted
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
128
click to vote
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
134
click to vote
PLDI
1994
ACM
15 years 5 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...