1350 search results - page 151 / 270 » Reasoning about Staged Computation |
155
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
178
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
148
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
159
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
155
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...