About: Abstract interpretation

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Abstract interpretation Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Work, within Data Space : el.dbpedia.org associated with source document(s)

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 (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:

Attributes	Values
rdf:type	work
rdfs:label	Abstract interpretation (en)
rdfs:comment	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 (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: (en)
sameAs	Abstract interpretation Abstract interpretation
dbp:wikiPageUsesTemplate	dbt:Color dbt:Reflist dbt:Samp dbt:Short_description
Subject	Abstract interpretation Program analysis
Link from a Wikipage to an external page	http://santos.cis.ksu.edu/schmidt/Escuela03/home.html http://www.cs.unipr.it/~bagnara/Papers/PDF/Q485.pdf http://www.dsi.unive.it/~avp/ http://www.mpi-inf.mpg.de/vtsa08/slides/sutre2.pdf https://dblp.uni-trier.de/db/conf/vmcai/ https://dblp1.uni-trier.de/db/conf/sas/ https://www.di.ens.fr/~cousot/AI/ http://staticanalysis.org http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/ http://cs.au.dk/~amoeller/spa/
thumbnail	wiki-commons:Special:FilePath/Abstract_interpretation_of_integers_by_signs_svg.svg?width=300
foaf:depiction
gold:hypernym	Myth
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Abstract_interpretation?oldid=1055052298&ns=0
Wikipage page ID	60490 (xsd:integer)
page length (characters) of wiki page	19371 (xsd:nonNegativeInteger)
Wikipage revision ID	1055052298 (xsd:integer)
Link from a Wikipage to another Wikipage	List of tools for static code analysis Program optimization Program transformation Abstraction Ariane flight V88 Ascending chain condition Monotonic function Radhia Cousot Semantics (computer science) Static program analysis Widening (computer science) Calculation Abstract interpretation Program analysis Debugging Soundness Compiler Computability theory Computational complexity Computer program Computer science Congruence relation Control flow analysis Homonym Partial function Partially ordered set Rice's theorem Social Security number Data-flow analysis Fixed-point subgroup Galois connection Imperative programming Symbolic execution Symbolic simulation Symposium on Principles of Programming Languages Execution (computing) Halting problem Information extraction Interpreter (computing) Interval arithmetic Model checking Knaster–Tarski theorem Patrick Cousot Lattice (order) Lecture Notes in Computer Science The Times (disambiguation) Polyhedron Real number
has abstract	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 (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 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 the French computer scientist working couple Patrick Cousot and Radhia Cousot in the late 1970s. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Abstract_interpretation
is Wikipage redirect of	Abstract interpreter Abstract reduction
is Link from a Wikipage to another Wikipage of	Fluctuat Formal methods Formal verification Frama-C List of tools for static code analysis Nabla symbol 2014 in science AbsInt Abstract machine Abstract model checking Abstraction Abstraction (computer science) Ariane flight V88 Astrée (static analysis) DMS Software Reengineering Toolkit

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (82 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software