1016 search results - page 22 / 204 » Automatic Analysis of Programming Assignments |
118
click to vote
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
101
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
91
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
141
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
135
Voted
DGO
2006
15 years 2 months ago
2006
Government agencies must often quickly organize and analyze large amounts of textual information, for example comments received as part of notice and comment rulemaking. Hierarchi...