Extending the loop language with higher-order procedural variables
From MaRDI portal
Publication:2946583
DOI10.1145/1555746.1555750zbMath1351.68048OpenAlexW2138934928MaRDI QIDQ2946583
Pierre Valarcher, E. Polonowski, Tristan Crolard
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1555746.1555750
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)
Related Items (2)
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ The efficiency of primitive recursive functions: a programmer's view
This page was built for publication: Extending the loop language with higher-order procedural variables