×

Found 2 Documents (Results 1–2)

From big-step to small-step semantics and back with interpreter specialisation. (English) Zbl 07453190

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 50-64 (2020).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software