English Lazy evaluation Cited by user RDBrown on 18 Dec 2023 In programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-str…
Ukrainian Узагальнений алгебричний тип даних Cited by user Lxlalexlxl on 02 Oct 2022 Узага́льнений алгебри́чний тип да́них (generalized algebraic data type, GADT) — один з видів алгебричних типів даних, який характеризується тим, що його конструктори можут…
Czech Odložené vyhodnocování Cited by user Kolarp on 06 Feb 2019 Odložené vyhodnocování ( nebo, česky též líné vyhodnocování) je v programování vyhodnocovací strategie, při které je vyhodnocení výrazu odloženo až do okamžiku, kdy je…
English Size-change termination principle Cited by user Citation bot on 02 Dec 2018 The size-change termination principle (SCT) guarantees termination for a computer program by proving that infinite computations always trigger infinite descent in data…