predicate transformer semantics
Recently Published Documents
TOTAL DOCUMENTS
12
(FIVE YEARS 3)
H-INDEX
4
(FIVE YEARS 1)
2019 ◽
Vol 3
(ICFP)
◽
pp. 1-26
◽
2009 ◽
Vol 159
(3)
◽
pp. 307-317
◽
2001 ◽
Vol 41
(1)
◽
pp. 1-51
◽
Keyword(s):