Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7625059> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Q7625059 subject Q7478371.
- Q7625059 subject Q8267873.
- Q7625059 subject Q8601379.
- Q7625059 abstract "Structural synthesis of programs (SSP) is a special form of (automatic) program synthesis that is based on propositional calculus. More precisely, it uses intuitionistic logic for describing the structure of a program in such a detail that the program can be automatically composed from pieces like subroutines or even computer commands. It is assumed that these pieces have been implemented correctly, hence no correctness verification of these pieces is needed. SSP is well suited for automatic composition of services for service-oriented architectures and for synthesis of large simulation programs.".
- Q7625059 wikiPageExternalLink www.ase-conferences.org.
- Q7625059 wikiPageWikiLink Q13741.
- Q7625059 wikiPageWikiLink Q1413450.
- Q7625059 wikiPageWikiLink Q1474542.
- Q7625059 wikiPageWikiLink Q15439057.
- Q7625059 wikiPageWikiLink Q17457.
- Q7625059 wikiPageWikiLink Q176786.
- Q7625059 wikiPageWikiLink Q17736.
- Q7625059 wikiPageWikiLink Q190686.
- Q7625059 wikiPageWikiLink Q1961494.
- Q7625059 wikiPageWikiLink Q200694.
- Q7625059 wikiPageWikiLink Q220644.
- Q7625059 wikiPageWikiLink Q251.
- Q7625059 wikiPageWikiLink Q296259.
- Q7625059 wikiPageWikiLink Q360690.
- Q7625059 wikiPageWikiLink Q374182.
- Q7625059 wikiPageWikiLink Q4117718.
- Q7625059 wikiPageWikiLink Q45045.
- Q7625059 wikiPageWikiLink Q649732.
- Q7625059 wikiPageWikiLink Q691358.
- Q7625059 wikiPageWikiLink Q7329766.
- Q7625059 wikiPageWikiLink Q7346802.
- Q7625059 wikiPageWikiLink Q7478371.
- Q7625059 wikiPageWikiLink Q8267873.
- Q7625059 wikiPageWikiLink Q8601379.
- Q7625059 wikiPageWikiLink Q92814.
- Q7625059 comment "Structural synthesis of programs (SSP) is a special form of (automatic) program synthesis that is based on propositional calculus. More precisely, it uses intuitionistic logic for describing the structure of a program in such a detail that the program can be automatically composed from pieces like subroutines or even computer commands. It is assumed that these pieces have been implemented correctly, hence no correctness verification of these pieces is needed.".
- Q7625059 label "Structural synthesis of programs".