6 search results - page 1 / 2 » A Tutorial Introduction to CSP in Unifying Theories of Progr... |
PSSE
2004
Springer
15 years 3 months ago
2004
Springer
IFM
2004
Springer
15 years 3 months ago
2004
Springer
UTP
2010
14 years 8 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
15 years 3 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
15 years 10 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...