Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Program_synthesis> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items 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 wikiPageRevisionID "592856926".
- Program_synthesis hasPhotoCollection Program_synthesis.
- Program_synthesis subject Category:Programming_paradigms.
- Program_synthesis type Abstraction100002137.
- Program_synthesis type GrammaticalRelation113796779.
- Program_synthesis type Inflection113803782.
- Program_synthesis type LinguisticRelation113797142.
- Program_synthesis type Paradigm113804375.
- Program_synthesis type ProgrammingParadigms.
- Program_synthesis type Relation100031921.
- 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 label "تكوين البرنامج".
- Program_synthesis label "プログラム合成".
- Program_synthesis sameAs プログラム合成.
- Program_synthesis sameAs m.02hn17.
- Program_synthesis sameAs Q4117718.
- Program_synthesis sameAs Q4117718.
- Program_synthesis sameAs Program_synthesis.
- Program_synthesis wasDerivedFrom Program_synthesis?oldid=592856926.
- Program_synthesis isPrimaryTopicOf Program_synthesis.