Matching Plans for Frame Inference in Compositional Reasoning
Authors
- Andreas Lööw
- Daniele Nantes-Sobrinho
- Sacha-Élie Ayoun
- Petar Maksimović
- Philippa Gardner
Venue
38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 26:1–26:20
Publication Date
Sep 2024
Identifiers
- DOI: doi:10.4230/LIPIcs.ECOOP.2024.26
- ISBN: 978-3-95977-341-6