Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Structural_synthesis_of_programs> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples 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 wikiPageLength "6212".
- Structural_synthesis_of_programs wikiPageOutDegree "26".
- Structural_synthesis_of_programs wikiPageRevisionID "696626838".
- Structural_synthesis_of_programs wikiPageWikiLink Andrey_Ershov.
- Structural_synthesis_of_programs wikiPageWikiLink Axiom.
- Structural_synthesis_of_programs wikiPageWikiLink Category:Articles_created_via_the_Article_Wizard.
- Structural_synthesis_of_programs wikiPageWikiLink Category:Logic_programming.
- Structural_synthesis_of_programs wikiPageWikiLink Category:Software_engineering.
- Structural_synthesis_of_programs wikiPageWikiLink Cordell_Green.
- Structural_synthesis_of_programs wikiPageWikiLink Domain-specific_language.
- Structural_synthesis_of_programs wikiPageWikiLink Donald_Knuth.
- Structural_synthesis_of_programs wikiPageWikiLink Formal_system.
- Structural_synthesis_of_programs wikiPageWikiLink George_Pólya.
- Structural_synthesis_of_programs wikiPageWikiLink Higher-order_function.
- Structural_synthesis_of_programs wikiPageWikiLink Integrated_development_environment.
- Structural_synthesis_of_programs wikiPageWikiLink Intuitionistic_logic.
- Structural_synthesis_of_programs wikiPageWikiLink Java_(programming_language).
- Structural_synthesis_of_programs wikiPageWikiLink List_of_rules_of_inference.
- Structural_synthesis_of_programs wikiPageWikiLink Logical_consequence.
- Structural_synthesis_of_programs wikiPageWikiLink Postcondition.
- Structural_synthesis_of_programs wikiPageWikiLink Precondition.
- Structural_synthesis_of_programs wikiPageWikiLink Program_synthesis.
- Structural_synthesis_of_programs wikiPageWikiLink Propositional_calculus.
- Structural_synthesis_of_programs wikiPageWikiLink Richard_Waldinger.
- Structural_synthesis_of_programs wikiPageWikiLink Robert_Lee_Constable.
- Structural_synthesis_of_programs wikiPageWikiLink Service-oriented_architecture.
- Structural_synthesis_of_programs wikiPageWikiLink Simulation.
- Structural_synthesis_of_programs wikiPageWikiLink Subroutine.
- Structural_synthesis_of_programs wikiPageWikiLink Zohar_Manna.
- Structural_synthesis_of_programs wikiPageUsesTemplate Template:Orphan.
- Structural_synthesis_of_programs wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Form.
- Structural_synthesis_of_programs type Area.
- Structural_synthesis_of_programs type Area.
- Structural_synthesis_of_programs type Discipline.
- 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 Q7625059.
- Structural_synthesis_of_programs sameAs m.0hzphql.
- Structural_synthesis_of_programs sameAs Q7625059.
- Structural_synthesis_of_programs wasDerivedFrom Structural_synthesis_of_programs?oldid=696626838.
- Structural_synthesis_of_programs isPrimaryTopicOf Structural_synthesis_of_programs.