4722 search results - page 578 / 945 » Representation-independent program analysis |
149
click to vote
VMCAI
2004
Springer
16 years 12 hour 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...
143
click to vote
ICALT
2003
IEEE
15 years 12 months 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...
136
click to vote
ICSM
2003
IEEE
15 years 12 months 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...
127
click to vote
DIGRA
2003
Springer
15 years 12 months 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 ...
175
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...