2477 search results - page 141 / 496 » First-Order Interactive Programming |
155
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
158
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
135
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
132
Voted
CHI
2008
ACM
15 years 7 months ago
2008
ACM
Existing tools require end-user programmers (EUPs) to write regular expressions ("regexps") or even scripts to validate textual inputs, which is slow and error-prone. We...
242
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...