| dbo:abstract |
إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة. (ar) 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. (fr) 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) プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。 (ja) |
| dbo:wikiPageID |
498152 (xsd:integer) |
| dbo:wikiPageLength |
19567 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1091155409 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Algorithm dbr:Julius_Richard_Büchi dbr:Remainder dbr:Resolution_(logic) dbr:Unification_(computer_science) dbr:Inductive_programming dbr:?: dbr:Clausal_normal_form dbr:Program_derivation dbr:MIT dbr:Skolemization dbr:Structural_induction dbr:Completeness_(logic) dbr:Computer_program dbr:Computer_science dbr:Zohar_Manna dbr:Substitution_(logic) dbr:UC_Berkeley dbr:Division_algorithm dbr:Lawrence_Landweber dbr:Natural_language_programming dbr:Alonzo_Church dbr:First-order_logic dbr:Formal_verification dbr:Formal_specification dbr:Formal_system dbr:Well-formed_formula dbr:Relational_database dbr:Term_(logic) dbc:Programming_paradigms dbr:High-level_programming_language dbr:Reactive_synthesis dbr:Automatic_programming dbr:Boolean_satisfiability_problem dbr:Sorting_algorithm dbr:Square_root dbr:Metaprogramming dbr:Recursive_function_(programming) dbr:Most_general_unifier dbr:Soundness dbr:Richard_Waldinger dbr:Non-clausal_resolution dbr:Paramodulation dbr:Program_verification dbr:Boolean_logic dbr:Turing-complete dbr:UPenn dbr:Functional_program dbr:Distributive_law dbr:Skolem_constant dbr:Purely_functional_programming_language dbr:Computable dbr:Well-ordering |
| dbp:wikiPageUsesTemplate |
dbt:Citation_needed dbt:Cite_journal dbt:Clear dbt:Color dbt:Math dbt:Reflist |
| dcterms:subject |
dbc:Programming_paradigms |
| gold:hypernym |
dbr:Form |
| rdf:type |
yago:Abstraction100002137 yago:GrammaticalRelation113796779 yago:Inflection113803782 yago:LinguisticRelation113797142 yago:Paradigm113804375 yago:Relation100031921 yago:WikicatProgrammingParadigms |
| rdfs:comment |
إن تخليق (تكوين) البرنامج هو شكل خاص من أشكال التي غالبا ما تقترن بتقنية للتحقق الرسمي.إن الهدف هو أن يتم أوتوماتيكيا إنشاء برنامج يفي بصورة مبرهنة بمواصفات معينة عالية المستوى. وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة. (ar) 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. (fr) 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) プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。 (ja) |
| rdfs:label |
تكوين البرنامج (ar) Synthèse de programmes (fr) プログラム合成 (ja) Program synthesis (en) |
| owl:sameAs |
freebase:Program synthesis yago-res:Program synthesis wikidata:Program synthesis dbpedia-ar:Program synthesis dbpedia-fr:Program synthesis dbpedia-ja:Program synthesis https://global.dbpedia.org/id/3owCm |
| prov:wasDerivedFrom |
wikipedia-en:Program_synthesis?oldid=1091155409&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Program_synthesis |
| is dbo:academicDiscipline of |
dbr:Doron_A._Peled |
| is dbo:wikiPageDisambiguates of |
dbr:Synthesis |
| is dbo:wikiPageRedirects of |
dbr:Automatic_program_synthesis dbr:Code_Synthesis |
| is dbo:wikiPageWikiLink of |
dbr:Bayesian_program_synthesis dbr:Robert_W._Floyd dbr:Doron_A._Peled dbr:Douglas_Lenat dbr:Inductive_programming dbr:Rajeev_Alur dbr:Generic_Eclipse_Modeling_System dbr:Genetic_programming dbr:Constructive_solid_geometry dbr:Program_derivation dbr:Emina_Torlak dbr:Journal_of_Applied_Non-Classical_Logics dbr:Synthesis dbr:Automatic_program_synthesis dbr:Type_theory dbr:Data_wrangling dbr:Code_generation dbr:Kathleen_Fisher dbr:Formal_verification dbr:Hibernate_(framework) dbr:Symbolic_artificial_intelligence dbr:Program_transformation dbr:Reactive_synthesis dbr:Automated_planning_and_scheduling dbr:Automatic_programming dbr:Fermat's_factorization_method dbr:Ilya_Sergey dbr:Natural-language_programming dbr:Satisfiability_modulo_theories dbr:FOSD_origami dbr:Structural_synthesis_of_programs dbr:Evolutionary_computation dbr:Outline_of_software_engineering dbr:Code_Synthesis |
| is dbp:field of |
dbr:Doron_A._Peled |
| is foaf:primaryTopic of |
wikipedia-en:Program_synthesis |