Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Program_synthesis> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- Program_synthesis abstract "Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to construct automatically a program that provably satisfies a given high-level specification. In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate logical calculus.".
- Program_synthesis wikiPageID "498152".
- Program_synthesis wikiPageLength "10598".
- Program_synthesis wikiPageOutDegree "27".
- Program_synthesis wikiPageRevisionID "682564681".
- Program_synthesis wikiPageWikiLink %3F:.
- Program_synthesis wikiPageWikiLink Algorithm.
- Program_synthesis wikiPageWikiLink Artificial_intelligence.
- Program_synthesis wikiPageWikiLink Automatic_programming.
- Program_synthesis wikiPageWikiLink Category:Programming_paradigms.
- Program_synthesis wikiPageWikiLink Clausal_normal_form.
- Program_synthesis wikiPageWikiLink Completeness_(logic).
- Program_synthesis wikiPageWikiLink Conjunctive_normal_form.
- Program_synthesis wikiPageWikiLink Distributive_law.
- Program_synthesis wikiPageWikiLink Distributive_property.
- Program_synthesis wikiPageWikiLink First-order_logic.
- Program_synthesis wikiPageWikiLink Formal_system.
- Program_synthesis wikiPageWikiLink Formal_verification.
- Program_synthesis wikiPageWikiLink Functional_programming.
- Program_synthesis wikiPageWikiLink Functional_programming_language.
- Program_synthesis wikiPageWikiLink Inductive_programming.
- Program_synthesis wikiPageWikiLink Paramodulation.
- Program_synthesis wikiPageWikiLink Resolution_(logic).
- Program_synthesis wikiPageWikiLink Skolem_constant.
- Program_synthesis wikiPageWikiLink Skolem_normal_form.
- Program_synthesis wikiPageWikiLink Skolemization.
- Program_synthesis wikiPageWikiLink Soundness.
- Program_synthesis wikiPageWikiLink Specification.
- Program_synthesis wikiPageWikiLink Specification_(technical_standard).
- Program_synthesis wikiPageWikiLink Structural_induction.
- Program_synthesis wikiPageWikiLink Substitution_(logic).
- Program_synthesis wikiPageWikiLink Turing-complete.
- Program_synthesis wikiPageWikiLink Turing_completeness.
- Program_synthesis wikiPageWikiLink Unification_(computer_science).
- Program_synthesis wikiPageWikiLinkText "Program synthesis".
- Program_synthesis wikiPageWikiLinkText "generate".
- Program_synthesis wikiPageWikiLinkText "program synthesis".
- Program_synthesis hasPhotoCollection Program_synthesis.
- Program_synthesis wikiPageUsesTemplate Template:Citation_needed.
- Program_synthesis wikiPageUsesTemplate Template:Cite_book.
- Program_synthesis wikiPageUsesTemplate Template:Cite_journal.
- Program_synthesis wikiPageUsesTemplate Template:Color.
- Program_synthesis wikiPageUsesTemplate Template:Data_transformation.
- Program_synthesis wikiPageUsesTemplate Template:Refimprove.
- Program_synthesis wikiPageUsesTemplate Template:Reflist.
- Program_synthesis wikiPageUsesTemplate Template:Vague.
- Program_synthesis wikiPageUsesTemplate Template:What%3F.
- Program_synthesis wikiPageUsesTemplate Template:Who.
- Program_synthesis wikiPageUsesTemplate Template:Why%3F.
- Program_synthesis subject Category:Programming_paradigms.
- Program_synthesis hypernym Form.
- Program_synthesis type Article.
- Program_synthesis type Article.
- Program_synthesis comment "Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to construct automatically a program that provably satisfies a given high-level specification. In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate logical calculus.".
- Program_synthesis label "Program synthesis".
- Program_synthesis sameAs تكوين_البرنامج.
- Program_synthesis sameAs プログラム合成.
- Program_synthesis sameAs m.02hn17.
- Program_synthesis sameAs Q4117718.
- Program_synthesis sameAs Q4117718.
- Program_synthesis wasDerivedFrom Program_synthesis?oldid=682564681.
- Program_synthesis isPrimaryTopicOf Program_synthesis.