1016 search results - page 115 / 204 » Automatic Analysis of Programming Assignments |
169
Voted
TOPLAS
2010
15 years 1 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
105
click to vote
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
158
Voted
PDPTA
1996
15 years 4 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
158
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
143
click to vote
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...