4716 search results - page 558 / 944 » Iterative-free program analysis |
165
click to vote
LCTRTS
2004
Springer
16 years 4 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
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 1 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...