4382 search results - page 547 / 877 » Query by Semantic Example |
111
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
100
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
133
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
145
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
146
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...