4211 search results - page 224 / 843 » Types as Abstract Interpretations |
208
click to vote
PEPM
2011
ACM
14 years 7 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
146
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Extensive and automated data integration in bioinformatics facilitates the construction of large, complex biological networks. However, the challenge lies in the inter...
259
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
143
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
123
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
Service granularity generally refers to the size of a service. The fact that services should be large-sized or coarse-grained is often postulated as a fundamental design principle ...