Sciweavers

16190 search results - page 117 / 3238
» Applicative programming with effects
Sort
View
130
Voted
IFIP
2004
Springer
16 years 26 days ago
Linux: A multi-purpose executive support for civil avionics applications?
Serge Goiffon, Pierre Gaufillet
228
Voted
ESOP
2006
Springer
15 years 11 months ago
Path Optimization in Programs and Its Application to Debugging
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Lib...