2947 search results - page 200 / 590 » Analyzing Program Analyses |
166
click to vote
CEFP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
189
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Aspect mining identifies cross-cutting concerns in a program to help migrating it to an aspect-oriented design. Such concerns may not exist from the beginning, but emerge over ti...
158
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
161
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
149
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...