6 search results - page 1 / 2 » A Tutorial Introduction to CSP in Unifying Theories of Progr... |
92
Voted
PSSE
2004
Springer
15 years 5 months ago
2004
Springer
97
Voted
IFM
2004
Springer
15 years 5 months ago
2004
Springer
108
Voted
UTP
2010
14 years 10 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...
119
Voted
ICALP
2007
Springer
15 years 6 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
16 years 1 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...