abstract interpretation
41Ulfert Wilke — Infobox Person name = Ulfert Wilke image size = caption = Edge of Orange painting by Ulfert Wilke birth date = 1907 birth place = Bavaria, Germany death date = 1987 death place = Anahola, Hawaii occupation = Calligrapher, art collector and… …
42Sprachbasiertes System — In einem Sprachbasierten System (Betriebssystem) wurden sowohl der Kernel, als auch die Programme in einer Hochsprache, wie zum Beispiel Java programmiert.[1] Inhaltsverzeichnis 1 Schutz 2 Beispiele 3 Einzeln …
43Decompiler — A decompiler is the name given to a computer program that performs, as far as possible, the reverse operation to that of a compiler. That is, it translates a file containing information at a relatively low level of abstraction (usually designed… …
44List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… …
45Convex hull — The convex hull of the red set is the blue convex set. See also: Convex set and Convex combination In mathematics, the convex hull or convex envelope for a set of points X in a real vector space V is the min …
46Galois connection — In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets (posets). Galois connections generalize the correspondence between subgroups and subfields investigated in Galois… …
47Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program …
48Knaster–Tarski theorem — In the mathematical areas of order and lattice theory, the Knaster–Tarski theorem, named after Bronisław Knaster and Alfred Tarski, states the following:: Let L be a complete lattice and let f : L → L be an order preserving function. Then the set …
49Optimization (computer science) — In computing, optimization is the process of modifying a system to make some aspect of it work more efficiently or use fewer resources. For instance, a computer program may be optimized so that it executes more rapidly, or is capable of operating …
50Ariane 5 Flight 501 — Flight 501, which took place on June 4, 1996, was the first, and unsuccessful, test flight of the European Ariane 5 expendable launch system. Due to a malfunction in the control software the rocket veered off its flight path 37 seconds after… …
