Program separation and definitional higher order programming

DOI10.1016/S0096-0551(97)00014-3MaRDI QIDQ4395688zbMATH OpenFDO

Authors Göran Falkman

Publication date 11 June 1998

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0096-0551(97)00014-3

zbMATH Keywords

higher order programmingprogram separation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Definitional interpreters for higher-order programming languages
• Towards a definition of an algorithm
• scientific article; zbMATH DE number 5033862
• Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Cited in

(1)

• scientific article; zbMATH DE number 1231620 (Why is no real title available?)

This page was built for publication: Program separation and definitional higher order programming

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