A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and coalgebraic methods in the mathematics of program construction
Mathematical Structures in Computer Science
Hi-index | 0.00 |