Weakest Precondition Synthesis for Compiler Optimizations
Keyword(s):
1994 ◽
Vol 21
(1)
◽
pp. 27-45
◽
2013 ◽
Vol 18
(1)
◽
pp. 1-16
◽
2008 ◽
Vol 36
(6)
◽
pp. 571-591
◽
Keyword(s):
2006 ◽
Vol 16
(3)
◽
pp. 429-451
◽
2002 ◽
Vol 65
(2)
◽
pp. 37-51
◽
Keyword(s):