Результаты поиска

'''TLA⁺''' — [[язык спецификаций]], основанный на [[Теория множеств|теории множеств]], [[Логика первого поря В результате кропотливой работы над идеями TLA появился язык спецификаций, названный TLA⁺<ref name="Leslie Lamport" />. ...

...ьзовался для проверки безопасности [[Java Card|JavaCard]] и для формальных спецификаций, таких как [[x86]], [[LLVM]] и C. ...ать алгоритм получения этой величины. Coq может экспортировать алгоритмы в языки [[ML]] и [[Haskell]]. Значения, имеющие тип, принадлежащий сорту Prop, не э ...

...главие книги. Сегодня считается, что слово «алгоритм» попало в европейские языки именно благодаря этому переводу. В течение нескольких следующих столетий по ...матика)|абака]]. Именно в таком значении оно вошло во многие [[европейские языки]]. Например, с пометкой «устар.» оно присутствует в представительном словар ...

...думало более восьми тысяч языков программирования (включая [[Эзотерические языки программирования|эзотерические]]). Каждый год их число увеличивается<ref>{{ ...ов]] тем, что предназначен для управления ЭВМ, в то время как естественные языки используются, прежде всего, для общения людей между собой. Большинство язык ...

...karta EE]] (ранее — Java EE (Enterprise Edition)) представляет собой набор спецификаций для создания [[программное обеспечение|ПО]] уровня предприятия. В 2017-м пр ...оздания многопоточных приложений, которые потом были портированы на многие языки, например, [[Python]]; ...

...е структуры, а структуру, соответственно, как реализацию сигнатуры. Многие языки предоставляют похожие конструкции, обычно под другими названиями: сигнатуры ...акции]], можно обеспечить посредством нескольких сигнатур с разным набором спецификаций{{sfn|Paulson, "ML for the Working Programmer"|1996|loc=7.5 Signature constr ...