Matching Plans for Frame Inference in Compositional Reasoning
Venue
38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 26:1–26:20
Publication Year
2024
Identifiers
- DOI: doi:10.4230/LIPIcs.ECOOP.2024.26
- ISBN: 978-3-95977-341-6
38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 26:1–26:20
2024