3671 search results - page 88 / 735 » On Garbage and Program Logic |
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
191
click to vote
ASPLOS
2009
ACM
16 years 15 days ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
83
Voted
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
106
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...