2623 search results - page 146 / 525 » Hoare Logic in the Abstract |
100
click to vote
LICS
1992
IEEE
15 years 2 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
FPL
2000
Springer
15 years 1 months ago
2000
Springer
abstract the dynamic nature of a computation to embedded data memory (which is accessible on-chip). The dynamic nature of a computation corresponds to the dynamic features of its i...
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We provide the unified methodology for searching for approximate decision reducts based on rough membership distributions. Presented study generalizes well known relation...