Interpreting Abstract Interpretations in Membership Equational Logic

Bernd Fischer, Grigore Roşu
2001 Electronical Notes in Theoretical Computer Science  
doi:10.1016/s1571-0661(04)00292-0 fatcat:ejnq6gvm3fcw7p2yie7lywwu3q