This HTML5 document contains 132 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
n14http://dbpedia.org/resource/%3F:
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Bayesian_program_synthesis
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Program_synthesis
rdf:type
yago:Abstraction100002137 yago:LinguisticRelation113797142 yago:GrammaticalRelation113796779 yago:Relation100031921 yago:Inflection113803782 yago:WikicatProgrammingParadigms yago:Paradigm113804375
rdfs:label
Synthèse de programmes تكوين البرنامج Program synthesis プログラム合成
rdfs:comment
プログラム合成(Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。 إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة. In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus. En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church.
dct:subject
dbc:Programming_paradigms
dbo:wikiPageID
498152
dbo:wikiPageRevisionID
1091155409
dbo:wikiPageWikiLink
dbr:Reactive_synthesis dbr:Zohar_Manna dbr:Boolean_satisfiability_problem dbr:Skolemization dbr:Relational_database dbr:Soundness dbr:UPenn dbr:Remainder dbr:Well-formed_formula dbr:High-level_programming_language dbr:Sorting_algorithm dbr:Substitution_(logic) dbr:UC_Berkeley dbr:Formal_specification dbr:Well-ordering dbr:Formal_system n14: dbr:Formal_verification dbr:Alonzo_Church dbr:Unification_(computer_science) dbr:Program_verification dbr:Recursive_function_(programming) dbr:Completeness_(logic) dbr:Division_algorithm dbr:Richard_Waldinger dbr:Non-clausal_resolution dbr:Algorithm dbr:Distributive_law dbr:Automatic_programming dbr:Structural_induction dbr:Turing-complete dbr:Resolution_(logic) dbr:Square_root dbr:Most_general_unifier dbr:Inductive_programming dbr:Purely_functional_programming_language dbr:Boolean_logic dbr:Clausal_normal_form dbr:Computable dbr:MIT dbc:Programming_paradigms dbr:Paramodulation dbr:Skolem_constant dbr:First-order_logic dbr:Julius_Richard_Büchi dbr:Term_(logic) dbr:Computer_science dbr:Natural_language_programming dbr:Functional_program dbr:Computer_program dbr:Lawrence_Landweber dbr:Metaprogramming dbr:Program_derivation
owl:sameAs
wikidata:Q4117718 freebase:m.02hn17 yago-res:Program_synthesis dbpedia-ja:プログラム合成 dbpedia-fr:Synthèse_de_programmes n19:3owCm dbpedia-ar:تكوين_البرنامج
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Clear dbt:Color dbt:Citation_needed dbt:Cite_journal dbt:Math
dbo:abstract
إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة. En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church. In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus. プログラム合成(Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。
gold:hypernym
dbr:Form
prov:wasDerivedFrom
wikipedia-en:Program_synthesis?oldid=1091155409&ns=0
dbo:wikiPageLength
19567
foaf:isPrimaryTopicOf
wikipedia-en:Program_synthesis
Subject Item
dbr:Robert_W._Floyd
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Doron_A._Peled
dbo:wikiPageWikiLink
dbr:Program_synthesis
dbp:field
dbr:Program_synthesis
dbo:academicDiscipline
dbr:Program_synthesis
Subject Item
dbr:Douglas_Lenat
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Inductive_programming
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Rajeev_Alur
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Generic_Eclipse_Modeling_System
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Genetic_programming
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Constructive_solid_geometry
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Program_derivation
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Emina_Torlak
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Journal_of_Applied_Non-Classical_Logics
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Synthesis
dbo:wikiPageWikiLink
dbr:Program_synthesis
dbo:wikiPageDisambiguates
dbr:Program_synthesis
Subject Item
dbr:Automatic_program_synthesis
dbo:wikiPageWikiLink
dbr:Program_synthesis
dbo:wikiPageRedirects
dbr:Program_synthesis
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Data_wrangling
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Code_generation
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Kathleen_Fisher
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Formal_verification
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Hibernate_(framework)
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Symbolic_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Program_transformation
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Reactive_synthesis
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Automated_planning_and_scheduling
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Automatic_programming
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Fermat's_factorization_method
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Ilya_Sergey
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Natural-language_programming
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Satisfiability_modulo_theories
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:FOSD_origami
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Structural_synthesis_of_programs
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Evolutionary_computation
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Outline_of_software_engineering
dbo:wikiPageWikiLink
dbr:Program_synthesis
Subject Item
dbr:Code_Synthesis
dbo:wikiPageWikiLink
dbr:Program_synthesis
dbo:wikiPageRedirects
dbr:Program_synthesis
Subject Item
wikipedia-en:Program_synthesis
foaf:primaryTopic
dbr:Program_synthesis