4716 search results - page 558 / 944 » Iterative-free program analysis |
188
click to vote
LCTRTS
2004
Springer
16 years 24 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...
203
click to vote
TYPES
2004
Springer
16 years 23 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...
173
Voted
VMCAI
2004
Springer
16 years 23 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...
157
click to vote
ICALT
2003
IEEE
16 years 22 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...
150
click to vote
ICSM
2003
IEEE
16 years 21 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...