14244 search results - page 653 / 2849 » Modeling Program Predictability |
168
click to vote
APLAS
2004
ACM
16 years 14 days ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
199
Voted
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
219
click to vote
COCO
1993
Springer
15 years 11 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
188
click to vote
ISW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
205
click to vote
IEE
2008
15 years 7 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...