ACM Transactions on Programming Languages and Systems Journal

Overview

publication venue for

• Interactive Abstract Interpretation with Demanded Summarization 2024
• Evidence-based static branch prediction using machine learning 1997

Research

keywords

• 0803 Computer Software, 0806 Information Systems