4716 search results - page 715 / 944 » Iterative-free program analysis |
178
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
136
Voted
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
149
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
161
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
134
click to vote
SAS
1997
Springer
15 years 8 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...