14244 search results - page 2321 / 2849 » Modeling Program Predictability |
212
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
125
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
134
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
158
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
135
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
The performance of server-side applications is becoming increasingly important as more applications exploit the Web application model. Extensive work has been done to improve the ...