899 search results - page 69 / 180 » Cost Analysis of Games, Using Program Logic |
109
click to vote
DAC
2004
ACM
15 years 3 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
114
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
204
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
182
click to vote
ICFP
2009
ACM
16 years 15 days ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...