JFP 2025JFP special issue on program calculationGraham Hutton, Nicolas WuDOI 10.1017/s0956796825100129dblpBibTeXNo abstract available.