10585 search results - page 1733 / 2117 » The Orc Programming Language |
114
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
142
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
157
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...
133
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
241
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...