abstract interpretation
21Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually …
22Abstraction (computer science) — In computer science, abstraction is the process by which data and programs are defined with a representation similar to its pictorial meaning as rooted in the more complex realm of human life and language with their higher need of summarization… …
23Abstraction — This article is about the concept of abstraction in general. For other uses, see abstraction (disambiguation). Abstraction is a process by which higher concepts are derived from the usage and classification of literal ( real or concrete )… …
24Static code analysis — is the analysis of computer software that is performed without actually executing programs built from that software (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version… …
25Sparse conditional constant propagation — In computer science, sparse conditional constant propagation is an optimization frequently applied in compilers after conversion to static single assignment form (SSA). It simultaneously removes dead code and propagates constants throughout a… …
26A rolling stone gathers no moss — is a proverb.HistoryIt is often credited to the Sententiae of Publilius Syrus, and roughly translates as: People always moving, with no roots in one place, avoid responsibilities and cares. AccuracyThe television show MythBusters ran an… …
27Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… …
28Strictness analysis — In computer science, strictness analysis refers to any algorithm used to prove that a function in a non strict functional programming language is strict in one or more of its arguments. This information is useful to compilers because strict… …
29Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …
30Compiler — This article is about the computing term. For the anime, see Compiler (anime). A diagram of the operation of a typical multi language, multi target compiler A compiler is a computer program (or set of programs) that transforms source code written …
