644 search results - page 86 / 129 » Precedence Automata and Languages |
110
Voted
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
164
click to vote
POPL
2003
ACM
15 years 12 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
SIGSOFT
2005
ACM
16 years 12 days ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...