4036 search results - page 500 / 808 » Formal Methods |
187
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
171
click to vote
FORMATS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
181
click to vote
FORMATS
2005
Springer
16 years 6 days ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
178
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
153
Voted
IFL
2005
Springer
16 years 5 days ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...