Abstract interpretation
id:
abstract-interpretation-190-17285463
title:
Abstract interpretation
text:
In computer science, abstract interpretation is a theory of sound approximation 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 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 ha
brand slug:
wiki
category slug:
encyclopedia
description:
Approach to static program analysis
original url:
https://en.wikipedia.org/wiki/Abstract_interpretation
date created:
date modified:
2024-04-17T16:16:35Z
main entity:
{"identifier":"Q333341","url":"https://www.wikidata.org/entity/Q333341"}
image:
fields total:
13
integrity:
14