Volume: Vol-4117 ICLP-WS-DC 2025 | Year: 2025

Paper: « short_rcra_5 | paper_aspocp_1 | paper_aspocp_2 »

Global Type Inference for Java using Answer Set Programming

• Andreas Stadelmeier
• Martin Plümicke

13-13 PDF