Skip to content

Global Type Inference for Java using Answer Set Programming.

Andreas Stadelmeier, Martin Plmicke

VenueBICLP
Year2025
ProceedingsICLP Workshops

Browse the full ICLP paper archive.