4067 search results - page 304 / 814 » Programs for Applying Symmetries |
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
177
click to vote
JWE
2002
15 years 6 months ago
2002
To address the significant technical demand for trained Web Engineers, and to raise the current state of the practice of Web Engineering, a Master's level degree program in W...
174
Voted
DLS
2010
15 years 4 months ago
2010
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
194
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
288
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...