Logical conditions in programming languages: review, discussion and generalization

DOI10.33039/AMI.2023.04.002MaRDI QIDQ6086544zbMATH OpenOpenAlexFDO

Authors Benedek Nagy, Khaled Abuhmaidan

Publication date 12 December 2023

Published in Annales Mathematicae et Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.33039/ami.2023.04.002

zbMATH Keywords

conditional statementsformal logichigh level programming languageslogical connectivesloop conditionsshort cut evaluation

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic in computer science (03B70) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Programming languages (educational aspects) (97P40)

This page was built for publication: Logical conditions in programming languages: review, discussion and generalization

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