Matches in DBpedia 2014 for { ?s ?p In computer science, abstract interpretation is a theory of sound approximation[clarify] of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control-flow, data-flow) without performing all the calculations.Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: inside compilers, to analyse programs in order to decide whether certain optimizations or transformations are applicable; for debugging or even the certification of programs against classes of bugs.Abstract interpretation was formalized by Patrick Cousot and Radhia Cousot in the late 1970s.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Abstract_interpretation abstract "In computer science, abstract interpretation is a theory of sound approximation[clarify] of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control-flow, data-flow) without performing all the calculations.Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: inside compilers, to analyse programs in order to decide whether certain optimizations or transformations are applicable; for debugging or even the certification of programs against classes of bugs.Abstract interpretation was formalized by Patrick Cousot and Radhia Cousot in the late 1970s.".