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

zbMATH Open1374.68099MaRDI QIDQ2963877FDOQ2963877

Authors: V. I. Shelekhov 

Publication date: 21 February 2017

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

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

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)

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)