@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Abstract_interpretation	rdf:type	ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Abstract_interpretation	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000007355c> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Abstract_interpretation	foaf:page	ns5:Abstract_interpretation .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Abstract_interpretation	dbpprop:reference	<http://santos.cis.ksu.edu/schmidt/Escuela03/home.html> ,
		<http://www.dsi.unive.it/~avp/> ,
		<http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/> ,
		<http://www.cs.unipr.it/~bagnara/Papers/PDF/Q485.pdf> ,
		<http://www.brics.dk/~mis/static.pdf> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Abstract_interpretation	rdfs:label	"Abstract interpretation"@en ,
		"Abstrakte Interpretation"@de ,
		"\u62BD\u8C61\u89E3\u91C8"@ja ,
		"Interpr\u00E9tation abstraite"@fr ,
		"\u62BD\u8C61\u91CA\u4E49"@zh ;
	dbpprop: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 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 optimisations 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."@en ,
		"Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen \u00FCber das Verhalten von Programmen zu bekommen, indem man von Teilen des Programms abstrahiert und die Anweisungen Schritt f\u00FCr Schritt nachvollzieht. Bei der abstrakten Interpretation konzentriert man sich auf Teilaspekte der Ausf\u00FChrung der Anweisungen, man l\u00E4sst einiges an Information geschickt weg, erh\u00E4lt letztlich eine N\u00E4herung an die Programmsemantik, die aber f\u00FCr den gew\u00FCnschten Zweck vollkommen ausreichen kann. Viele Eigenschaften von Programmen sind nicht berechenbar, d.h. man kann kein Programm angeben, welches sie in endlicher Zeit mit endlichen Speicherresourcen f\u00FCr beliebige Programme berechnet. Durch eine Approximation, also das Weglassen von einigen Informationen, kann man zwar Fragen nach bestimmten Eigenschaften gar nicht mehr kl\u00E4ren, daf\u00FCr werden aber andere Eigenschaften in der vergr\u00F6berten Sicht erst berechenbar."@de ,
		"\u62BD\u8C61\u89E3\u91C8\uFF08\u82F1: Abstract interpretation\uFF09\u3068\u306F\u3001\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u610F\u5473\u8AD6\u306E\u5065\u5168\u306A\u8FD1\u4F3C\u306E\u7406\u8AD6\u3067\u3042\u308A\u3001\u9806\u5E8F\u96C6\u5408\uFF08\u7279\u306B\u675F\uFF09\u306B\u304A\u3051\u308B\u5358\u8ABF\u95A2\u6570\u306B\u57FA\u3065\u3044\u3066\u3044\u308B\u3002\u5168\u3066\u306E\u8A08\u7B97\u3092\u5B9F\u65BD\u3059\u308B\u3053\u3068\u306A\u304F\u3001\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u90E8\u5206\u7684\u306A\u5B9F\u884C\u3092\u3059\u308B\u3082\u306E\u3068\u898B\u308B\u3053\u3068\u304C\u3067\u304D\u3001\u305D\u308C\u306B\u3088\u308A\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u610F\u5473\u306B\u95A2\u3059\u308B\u60C5\u5831\uFF08\u4F8B\u3048\u3070\u3001\u5236\u5FA1\u69CB\u9020\u3001\u60C5\u5831\u306E\u6D41\u308C\u306A\u3069\uFF09\u3092\u7372\u5F97\u3059\u308B\u3002 \u4E3B\u306A\u5FDC\u7528\u3068\u3057\u3066\u3001\u5F62\u5F0F\u7684\u306A\u9759\u7684\u30B3\u30FC\u30C9\u89E3\u6790\u304C\u3042\u308A\u3001\u30D7\u30ED\u30B0\u30E9\u30E0\u5B9F\u884C\u306B\u95A2\u3059\u308B\u60C5\u5831\u3092\u81EA\u52D5\u62BD\u51FA\u3059\u308B\u3082\u306E\u3067\u3042\u308B\u3002\u3053\u306E\u3088\u3046\u306A\u89E3\u6790\u306B\u306F\u6B21\u306E2\u3064\u306E\u5229\u7528\u6CD5\u304C\u3042\u308B\u3002 \u30B3\u30F3\u30D1\u30A4\u30E9\u5185\u90E8\u3067\u3001\u5BFE\u8C61\u30D7\u30ED\u30B0\u30E9\u30E0\u3092\u89E3\u6790\u3057\u3001\u7279\u5B9A\u306E\u6700\u9069\u5316\u3084\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u5909\u63DB\u304C\u53EF\u80FD\u304B\u3069\u3046\u304B\u3092\u6C7A\u5B9A\u3059\u308B\u3002 \u30C7\u30D0\u30C3\u30B0\u6642\u3084\u3001\u7279\u5B9A\u306E\u7A2E\u985E\u306E\u30D0\u30B0\u304C\u5B58\u5728\u3057\u306A\u3044\u3053\u3068\u3092\u4FDD\u8A3C\u3059\u308B\u3068\u304D\u3002 \u62BD\u8C61\u89E3\u91C8\u306F\u3001Patrick Cousot \u3068 Radhia Cousot \u306B\u3088\u3063\u3066\u5B9A\u5F0F\u5316\u3055\u308C\u305F\u3002"@ja ,
		"\u5728\u8BA1\u7B97\u673A\u79D1\u5B66\u4E2D\uFF0C\u62BD\u8C61\u91CA\u4E49\u662F\u57FA\u4E8E\u5728\u6709\u5E8F\u96C6\u5408\u7279\u522B\u662F\u683C\u4E0A\u7684\u5355\u8C03\u51FD\u6570\uFF0C\u8BA1\u7B97\u673A\u7A0B\u5E8F\u7684\u8BED\u4E49\u7684\u53EF\u9760\u903C\u8FD1\u7406\u8BBA\u3002\u5B83\u53EF\u4EE5\u88AB\u770B\u4F5C\u5BF9\u8BA1\u7B97\u673A\u7A0B\u5E8F\u7684\u90E8\u5206\u6267\u884C\uFF0C\u83B7\u53D6\u5173\u4E8E\u5B83\u7684\u8BED\u4E49\u4FE1\u606F\u800C\u4E0D\u8FDB\u884C\u6240\u6709\u8BA1\u7B97\u3002 \u5B83\u7684\u4E3B\u8981\u5177\u4F53\u5E94\u7528\u662F\u5F62\u5F0F\u9759\u6001\u5206\u6790\uFF0C\u5173\u4E8E\u8BA1\u7B97\u673A\u7A0B\u5E8F\u7684\u53EF\u80FD\u6267\u884C\u7684\u4FE1\u606F\u7684\u81EA\u52A8\u63D0\u53D6\uFF1B\u6BD4\u5982\u8FD9\u79CD\u5206\u6790\u6709\u4E24\u4E2A\u4E3B\u8981\u7528\u9014: \u5728\u7F16\u8BD1\u5668\u5185\u90E8\uFF0C\u5206\u6790\u7A0B\u5E8F\u6765\u786E\u5B9A\u7279\u5B9A\u4F18\u5316\u6216\u53D8\u6362\u662F\u5426\u662F\u53EF\u9002\u7528\u7684\uFF1B \u9488\u5BF9\u7F3A\u9677\u7C7B\u7684\u7A0B\u5E8F\u7684\u8C03\u8BD5\u751A\u81F3\u6821\u9A8C\u3002 \u62BD\u8C61\u91CA\u4E49\u662F Patrick Cousot \u548C Radhia Cousot \u6240\u5F62\u5F0F\u5316\u7684\u3002"@zh ,
		"L'interpr\u00E9tation abstraite est une th\u00E9orie d'approximation de la s\u00E9mantique de programmes informatiques bas\u00E9e sur les fonctions monotones pour ensembles ordonn\u00E9s, en particulier les treillis . Elle peut \u00EAtre d\u00E9finie comme une ex\u00E9cution partielle d'un programme pour obtenir des informations sur sa s\u00E9mantique (par exemple, sa structure de contr\u00F4le, son flot de donn\u00E9es) sans avoir \u00E0 en faire le traitement complet. Sa principale fonction concr\u00E8te est l'analyse statique, l'extraction automatique d'informations sur les ex\u00E9cutions possibles d'un programme; ces analyses ont deux usages principaux: pour les compilateurs, afin d'analyser le programme pour d\u00E9terminer si certaines optimisations ou transformations sont possibles, pour le d\u00E9bogage, ou pour prouver l'absence de certains types de bugs dans le programme. L'interpr\u00E9tation abstraite a \u00E9t\u00E9 formalis\u00E9e par le Pr Patrick Cousot et le Dr Radhia Cousot."@fr ;
	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 without performing all the calculations."@en ,
		""@ja ,
		"L'interpr\u00E9tation abstraite est une th\u00E9orie d'approximation de la s\u00E9mantique de programmes informatiques bas\u00E9e sur les fonctions monotones pour ensembles ordonn\u00E9s, en particulier les treillis . Elle peut \u00EAtre d\u00E9finie comme une ex\u00E9cution partielle d'un programme pour obtenir des informations sur sa s\u00E9mantique (par exemple, sa structure de contr\u00F4le, son flot de donn\u00E9es) sans avoir \u00E0 en faire le traitement complet."@fr ,
		"Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen \u00FCber das Verhalten von Programmen zu bekommen, indem man von Teilen des Programms abstrahiert und die Anweisungen Schritt f\u00FCr Schritt nachvollzieht."@de ,
		""@zh .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Abstract_interpretation	skos:subject	ns9:Formal_methods ,
		ns9:Logic_in_computer_science ,
		ns9:Programming_language_implementation .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Abstract_interpretation	dbpprop:hasPhotoCollection	ns10:Abstract_interpretation .
@prefix dbpedia-owl:	<http://dbpedia.org/ontology/> .
dbpedia:Patrick_Cousot	dbpedia-owl:knownFor	dbpedia:Abstract_interpretation .
@prefix ns12:	<http://dbpedia.org/ontology/Person/> .
dbpedia:Patrick_Cousot	ns12:knownFor	dbpedia:Abstract_interpretation ;
	dbpprop:knownFor	dbpedia:Abstract_interpretation .
dbpedia:Abstract_reduction	dbpprop:redirect	dbpedia:Abstract_interpretation .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Abstract_interpretation	owl:sameAs	dbpedia:Abstract_interpretation .