The language of calculus of computable predicates as a minimal kernel for functional languages

MaRDI QIDQ2963877zbMATH OpenFDO

Authors V. I. Shelekhov

Publication date 21 February 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/shelekhov.pdf

zbMATH Keywords

operational semanticsfunctional languagetotal correctness of a programlogical semanticsHoare triple

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3854393
• scientific article; zbMATH DE number 4043306
• The semantics of lazy functional languages
• scientific article; zbMATH DE number 4180815
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II

This page was built for publication: The language of calculus of computable predicates as a minimal kernel for functional languages

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