1151 search results - page 168 / 231 » Collaborative Programming: Applications of Logic and Automat... |
114
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
148
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
128
Voted
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
122
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
139
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...