abstract interpretation
31Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… …
32Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …
33Patrick Cousot — Infobox Scientist name = Patrick Cousot box width = image width = caption = birth date = 3 December 1948 birth place = death date = death place = residence = Paris citizenship = nationality = French ethnicity = field = work institutions = alma… …
34Program optimization — For algorithms to solve other optimization problems, see Optimization (mathematics). In computer science, program optimization or software optimization is the process of modifying a software system to make some aspect of it work more efficiently… …
35DMS Software Reengineering Toolkit — Developer(s) Semantic Designs Website semanticdesigns.com/Products/DMS/DMSToolkit.html The DMS Software Reengineering Toolkit[1] is a proprietary set of program transformation tools available for automating custom source program analysis,… …
36Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… …
37Software bug — To report a MediaWiki error on Wikipedia, see Wikipedia:Bug reports. A software bug is the common term used to describe an error, flaw, mistake, failure, or fault in a computer program or system that produces an incorrect or unexpected result, or …
38Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …
39Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… …
40Language-based system — In a language based system, the operating system has both the kernel and applications implemented using a high level programming language, such as Java. [cite web title=JX A flexible Java Operating System (poster) url=http://www4.informatik.uni… …
