Task TWP1 Clarication of functionalities Selection of the tools

France Aggoun

Description

Niveau: Supérieur, Master, Bac+4
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

Sujets

• Claude
• Hermenegildo
• Program
• Abstract interpretation
• Methodology

Informations

• Publié par: larec
• Nombre de lectures: 9
• Langue: English

Extrait

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)
:
:
:
:
:
: