InterpEffect Tool Comparison

	B	C	D	E	F	G	H	I	J	K
1			Programs:	Imperative	Functional	Funcitonal	Transition Sys	Imperative	Functional
2	Paper	Tool	Properties:	Safety	Safety	Term	LTL/CTL/muC/Term	Term	Reg/Ctx Free	Questions
3	POPL23	muCLP		Yes	No		Yes	Yes	Maybe?
4	POPL23+Enc	muCLP+Enc		(Reduced here)	No
5
6
7	POPL20	Drift		-	Yes	No	No	No	No
8	POPL20+Enc	Drift+Enc		-	Yes	No	No	No	Yes
9	POPL20+Dom	Drift+Dom		-	Yes	No	No	No	Yes	Any different?
10
11		DSolve		-	Yes
12		Liq Haskell		-	Yes	yes			No	Inductive co-ind data types?
13
14		MoCHI		Yes	Yes	ESOP'14?			No
15
16	POPL23 Ans-Eff			No implementation? Dependent effects?
17	Unno effect paper?
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100