6274 search results - page 383 / 1255 » Proofs, Programs, Processes |
179
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
199
click to vote
PEPM
2004
ACM
16 years 2 days ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
181
Voted
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
The Praktomat system allows students to read, review, and assess each other’s programs in order to improve quality and style. After a successful submission, the student can retr...
141
click to vote
GRC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
169
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...