794 search results - page 103 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
104
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
127
click to vote
PPDP
2010
Springer
15 years 27 days ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
134
click to vote
WWW
2009
ACM
16 years 3 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...
124
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
118
Voted
PPDP
2010
Springer
15 years 11 days ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...