Extending the loop language with higher-order procedural variables

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

zbMATH Keywords

higher-order proceduresGödel System Tloop languageprocedural variables

Mathematics Subject Classification ID

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