Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4117718> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Q4117718 subject Q13360530.
- Q4117718 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.".
- Q4117718 wikiPageWikiLink Q1051925.
- Q4117718 wikiPageWikiLink Q1090524.
- Q4117718 wikiPageWikiLink Q11660.
- Q4117718 wikiPageWikiLink Q13360530.
- Q4117718 wikiPageWikiLink Q1522579.
- Q4117718 wikiPageWikiLink Q15712089.
- Q4117718 wikiPageWikiLink Q15846555.
- Q4117718 wikiPageWikiLink Q173326.
- Q4117718 wikiPageWikiLink Q187959.
- Q4117718 wikiPageWikiLink Q193076.
- Q4117718 wikiPageWikiLink Q1932759.
- Q4117718 wikiPageWikiLink Q197970.
- Q4117718 wikiPageWikiLink Q2101564.
- Q4117718 wikiPageWikiLink Q2984985.
- Q4117718 wikiPageWikiLink Q4055684.
- Q4117718 wikiPageWikiLink Q609057.
- Q4117718 wikiPageWikiLink Q649732.
- Q4117718 wikiPageWikiLink Q693083.
- Q4117718 wikiPageWikiLink Q762268.
- Q4117718 wikiPageWikiLink Q8366.
- Q4117718 wikiPageWikiLink Q846564.
- Q4117718 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.".
- Q4117718 label "Program synthesis".