syntactic property
111Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… …
112Placeholder name — Placeholder names are words that can refer to objects or people whose names are either temporarily forgotten, irrelevant, or unknown in the context in which they are being discussed. Whatchamacallit (for objects) and Whatshisname or Whatshername… …
113Automata-based programming — is a programming paradigm in which the program or its part is thought of as a model of a finite state machine or any other (often more complicated) formal automata (see automata theory). Sometimes a potentially infinite set of possible states is… …
114Trace monoid — In mathematics and computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes the concept of a string, by not forcing the letters to always be in a fixed order,… …
115Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… …
116ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …
Словарь-справочник терминов нормативно-технической документации
117Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline …
118Maurice Merleau-Ponty — Full name Maurice Merleau Ponty Born 14 March 1908 Died 4 May 1961 Era 20th century philosophy …
119Tacticity — (from Greek taktikos : of or relating to arrangement or order) is the relative stereochemistry of adjacent chiral centers within a macromolecule [ Introduction to polymers R.J. Young ISBN 0412221705 ] . The practical significance of tacticity… …
120Noun — For other uses, see Noun (disambiguation). Examples The cat sat on the mat. Please hand in your assignments by the end of the week. Cleanliness is next to Godliness. George Washington was the first president of the United States of America.… …
