Interpreting Abstract Interpretations in Membership Equational Logic
2001 ◽
Vol 59
(4)
◽
pp. 271-285
◽
2007 ◽
Vol 373
(1-2)
◽
pp. 70-91
◽
Keyword(s):
1998 ◽
Vol 15
◽
pp. 388-393
◽
2000 ◽
Vol 236
(1-2)
◽
pp. 35-132
◽
2004 ◽
Vol 71
◽
pp. 110-126
◽
Keyword(s):