6 search results - page 1 / 2 » A Tutorial Introduction to CSP in Unifying Theories of Progr... |
PSSE
2004
Springer
13 years 10 months ago
2004
Springer
IFM
2004
Springer
13 years 10 months ago
2004
Springer
UTP
2010
13 years 3 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...