ACM Computing Surveys (CSUR)
Program analysis: the abstract interpretation perspective
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Types as abstract interpretations
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract Interpretation Based Formal Methods and Future Challenges
Informatics - 10 Years Back. 10 Years Ahead.
Making abstract domains condensing
ACM Transactions on Computational Logic (TOCL)
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
| Hi-index | 0.00 |