Task TWP1 Clarication of functionalities Selection of the tools
35
pages
English
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
35
pages
English
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
CP Debugging Tools Task TWP1.1: Clarication of functionalities. Selection of the tools Deliverable: Draft report D.WP1.1.M1.1 Release: 6 June 10, 1997 A. Aggoun F. Benhamou F. Bueno M. Carro P. Deransart W. Drabent G. Ferrand F. Goualard M. Hermenegildo C. Lai J. Lloyd J. Ma luszynski G. Puebla A. Tessier
- tools related
- program
- abstract interpretation
- showing control
- methodology
- constraint programs
- show also
- tools
- debugging tools
nski
CP
G.
Debugging
Carro
T
Lai
o
Benhamou
ols
W.
T
Goualard
ask
J.
TWP1.1:
T
Claric
Bueno
ation
.
of
en
functionalities.
errand
Sele
Hermenegildo
ction
Llo
of
luszy
the
Puebla
to
F.
ols
F.
Deliver
M.
able:
P
Dr
Deransart
aft
Drab
r
t
ep
F
ort
F.
D.WP1.1.M1.1
M.
R
C.
ele
J.
ase:
yd
6
Ma
June
10,
G.
1997
A.
A.
essier
Aggoun:
Reactiv
:
e
to
L
:
TR
:
N
:
o
:
22532
:
DiSCiPl
:
D.WP1.1.M1.1-P
:
art
29
2
:
2
and
Con
:
ten
:
ts
:
1
:
In
:
tro
Static
duction
:
3
:
1.1
:
CP
O
debugging
:
:
:
:
:
:
:
:
:
:
24
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
e
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
ersion
:
:
:
o
:
22
:
:
:
:
:
incorrectness
:
:
:
(missing
:
:
:
computations
:
:
:
:
:
Assertions
:
:
:
:
4
:
1.2
:
Debugging
:
to
:
ols
:
:
27
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
28
:
mo
:
:
:
:
:
:
:
:
:
:
:
:
:
mo
:
6.2
:
:
:
:
:
:
:
:
:
:
:
:
:
IV
:
:
:
:
:
:
:
:
:
:
:
:
:
declarativ
:
declarativ
:
:
:
:
:
:
:
:
:
:
5
22
1.3
:
Organisation
:
of
:
the
4.3
rep
:
ort
:
:
:
:
ols
:
5.1
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
Abstract
:
:
:
:
:
:
:
:
:
v
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
27
:
:
:
:
7
:
2
:
Seman
:
tic
:
bac
:
kground
:
7
:
2.1
:
Example
to
:
28
:
:
:
:
:
:
:
:
:
29
:
:
:
:
:
:
:
:
:
functions
:
:
:
:
:
:
:
diagnosis
:
:
:
:
:
debugging
:
:
:
:
:
:
:
terv
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
CHIP
:
:
:
:
:
:
:
:
:
:
:
:
8
:
2.2
4
Domain
related
based
seman
declarativ
single
e
diagnosis
seman
Principles
tics
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
Diagnosis
:
answ
:
:
:
:
:
:
:
:
:
:
:
:
:
of
:
er)
:
:
:
:
:
:
:
:
:
:
:
T
:
to
9
B2)
2.3
general
Op
:
erational
:
seman
:
tics:
:
LD-trees
:
:
:
:
:
:
:
:
:
:
25
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
26
:
terpretation
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5.4
:
:
:
:
11
:
2.4
:
Abstract
:
constrain
:
t
:
solving
:
and
:
S-b
:
o
:
xes
Analysers
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
Comparators
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
27
:
:
:
:
:
:
12
:
3
:
T
:
o
:
ols
:
related
:
to
:
op
Actual
erational
to
seman
elop
tics
In
and
:
a
:
single
:
computation:
:
searc
:
h
:
space
:
and
:
constrain
:
t
Static
propagation
:
analysis
:
(A1)
:
13
:
3.1
:
Sho
:
wing
:
Con
:
trol
6.1.2
F
:
eatures
:
:
:
:
:
:
:
:
:
:
:
:
Declarativ
:
and
:
:
:
:
:
:
:
:
:
platforms
:
ols
:
:
:
:
:
:
:
:
:
:
:
:
:
6.2.1
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
6.2.2
:
:
:
:
:
:
14
:
3.1.1
:
Sho
:
wing
:
Con
:
trol
:
Graphically
6.2.3
:
v
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
31
:
Beta
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
22
:
T
14
ols
3.1.2
to
The
e
Bo
tics
x
a
Mo
computation:
del
e
:
(A2)
:
4.1
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
4.2
:
of
:
(wrong
:
er)
:
:
:
:
:
:
:
:
:
:
:
:
:
:
15
:
3.2
:
Sho
:
wing
:
V
23
alues
Diagnosis
of
incompleteness
V
answ
ariables
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5
:
o
:
related
:
all
:
(B1,
:
25
:
A
:
view
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
16
:
3.2.1
:
Abstracting
:
:
:
:
:
:
:
:
5.2
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5.3
:
in
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
17
:
3.3
:
Sho
:
wing
:
Constrain
:
ts
:
:
:
:
:
:
26
:
Pro
:
ers
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5.5
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
17
:
3.3.1
:
Sho
:
wing
:
Relationships
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5.6
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
5.7
17
Diagnosis
3.3.2
:
Con
:
trolling
:
size
:
and
:
complexit
:
y
:
of
:
the
:
store
:
(S-b
:
o
:
xes)
:
:
:
:
:
:
