4725 search results - page 566 / 945 » Dependence-Based Program Analysis |
186
click to vote
TYPES
2004
Springer
16 years 3 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
153
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
146
click to vote
ICALT
2003
IEEE
16 years 2 days ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
137
click to vote
ICSM
2003
IEEE
16 years 2 days ago
2003
IEEE
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
128
click to vote
DIGRA
2003
Springer
16 years 7 hour ago
2003
Springer
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...