-
1 runtime check
<tech.gen> ■ Laufzeitprüfung f
См. также в других словарях:
Runtime verification — is a verification technique that combines formal verification and program execution.It is the process of detecting faults in a system under scrutiny by passively observing its input/output behavior during its normal operations. The observed… … Wikipedia
Check it Out! (Canadian TV series) — infobox television show name = Check it Out! caption = format = Sitcom runtime = 30 minutes creator = starring = Don Adams country = flagicon|Canada Canada network = CTV first aired = 1985 last aired = 1988 num episodes = 66 imdb id = 0088493 tv… … Wikipedia
Occurs check — In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a logic variable V and a structure S to fail if S contains V. In theorem proving, unification without the occurs check can lead to… … Wikipedia
Dynamic Language Runtime — Developer(s) Microsoft Dynamic Language Runtime Team Stable release 1.0 / April 16, 2010 Operating system Microsoft Windows, Debian, Ubuntu Platform … Wikipedia
Blank Check (game show) — Infobox Television show name = Blank Check caption = format = Game Show runtime = 30 minutes (per episode) creator = Jack Barry starring = Art James as the host; Johnny Jacobs as the announcer country = USA network = NBC first aired = January 6,… … Wikipedia
Blank Check (film) — Infobox Film name = Blank Check caption = Blank Check film poster director = Rupert Wainwright writer = Blake Snyder, Colby Carr starring = Brian Bonsall Karen Duffy Miguel Ferrer Tone Lōc Michael Lerner James Rebhorn producer = Gary Adelson… … Wikipedia
Java Runtime Environment — Тип Программная платформа Разработчик … Википедия
Moonlight (runtime) — Developer(s) Novell Initial release March 4, 2009; 2 years ago ( … Wikipedia
Comparison of Java and C++ — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Comparison of programming languages (object-oriented programming) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Type conversion — This article is about the computer science concept. For the aviation licensing process, see Type conversion (aviation). In computer science, type conversion, typecasting, and coercion refers to different ways of, implicitly or explicitly,… … Wikipedia