Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Structural_synthesis_of_programs> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Structural_synthesis_of_programs 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.".
- Structural_synthesis_of_programs wikiPageExternalLink www.ase-conferences.org.
- Structural_synthesis_of_programs wikiPageID "34226901".
- Structural_synthesis_of_programs wikiPageRevisionID "539382681".
- Structural_synthesis_of_programs hasPhotoCollection Structural_synthesis_of_programs.
- Structural_synthesis_of_programs subject Category:Articles_created_via_the_Article_Wizard.
- Structural_synthesis_of_programs subject Category:Logic_programming.
- Structural_synthesis_of_programs subject Category:Software_engineering.
- Structural_synthesis_of_programs 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.".
- Structural_synthesis_of_programs label "Structural synthesis of programs".
- Structural_synthesis_of_programs sameAs m.0hzphql.
- Structural_synthesis_of_programs sameAs Q7625059.
- Structural_synthesis_of_programs sameAs Q7625059.
- Structural_synthesis_of_programs wasDerivedFrom Structural_synthesis_of_programs?oldid=539382681.
- Structural_synthesis_of_programs isPrimaryTopicOf Structural_synthesis_of_programs.