Optimizing a non-deterministic abstract machine with environments

DOI10.4230/LIPICS.FSCD.2024.11MaRDI QIDQ6875003zbMATH OpenFDO

Authors Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

abstract machinerefocusingexplicit substitutions

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Optimizing a non-deterministic abstract machine with environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6875003)