English Call-by-push-value Cited by user Mathnerd314159 on 09 Apr 2024 In programming language theory, call-by-push-value (CBPV) is an intermediate language that embeds the call-by-value (CBV) and call-by-name (CBV) evaluation strategies.
English Datalog Cited by user Siddharthist on 02 Mar 2023 Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation…