1713 search results - page 107 / 343 » Production programming in the classroom |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
103
click to vote
PLDI
2012
ACM
13 years 11 days ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
121
click to vote
POPL
1989
ACM
15 years 2 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
SIGGRAPH
2003
ACM
15 years 3 months ago
2003
ACM
The study of art history is an exciting and rewarding one, but one in which the student frequently encounters complex and difficult to understand concepts. Traditional methodologi...