4719 search results - page 577 / 944 » Newtonian program analysis |
172
click to vote
GPCE
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
191
click to vote
LCTRTS
2004
Springer
16 years 28 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...
205
click to vote
TYPES
2004
Springer
16 years 27 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
click to vote
VMCAI
2004
Springer
16 years 27 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...
158
click to vote
ICALT
2003
IEEE
16 years 25 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...