Matches in SemOpenAlex for { <https://semopenalex.org/work/W149006713> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W149006713 abstract "Amphion is a real-world, domain-independent program synthesis system. It is specialized to specific applications through the creation of an operational domain theory. The Meta-Amphion system is being developed to empower domain experts to develop and maintain their own Amphion applications. This thesis describes technology for automatically transforming declarative domain theories into efficient, domain-specific program synthesis systems. A prototype of the system has been implemented in TOPS, Theory Operationalization for Program Synthesis.TOPS identifies axioms in the domain theory that are an instance of the theory of a procedure in a library of procedures. TOPS uses partial deduction to augment the procedure with the capability to construct ground terms for deductive synthesis. The synthesized procedure is interfaced to a resolution theorem prover. Axioms in the original domain theory that are implied by the synthesized procedure are removed.During deductive synthesis, the procedure is invoked to test the satisfiability of sets of literals in the language of the theory of the procedure. The procedure generates ground terms which are bound to existential variables in a problem specification. These terms are program fragments. Answers to deductive synthesis problem specifications can be generated using the procedure just in case they can be generated without using the procedures. Experiments show that the procedures synthesized by TOPS can reduce theorem proving search at least as much as hand tuning of the deductive synthesis system." @default.
- W149006713 created "2016-06-24" @default.
- W149006713 creator A5081543259 @default.
- W149006713 date "1998-03-17" @default.
- W149006713 modified "2023-09-23" @default.
- W149006713 title "Tops: theory operationalization for program synthesis" @default.
- W149006713 hasPublicationYear "1998" @default.
- W149006713 type Work @default.
- W149006713 sameAs 149006713 @default.
- W149006713 citedByCount "4" @default.
- W149006713 crossrefType "journal-article" @default.
- W149006713 hasAuthorship W149006713A5081543259 @default.
- W149006713 hasConcept C108710211 @default.
- W149006713 hasConcept C111472728 @default.
- W149006713 hasConcept C11413529 @default.
- W149006713 hasConcept C118615104 @default.
- W149006713 hasConcept C134306372 @default.
- W149006713 hasConcept C138885662 @default.
- W149006713 hasConcept C159718280 @default.
- W149006713 hasConcept C167729594 @default.
- W149006713 hasConcept C168773769 @default.
- W149006713 hasConcept C199360897 @default.
- W149006713 hasConcept C206880738 @default.
- W149006713 hasConcept C2524010 @default.
- W149006713 hasConcept C2776937632 @default.
- W149006713 hasConcept C29585364 @default.
- W149006713 hasConcept C33923547 @default.
- W149006713 hasConcept C36503486 @default.
- W149006713 hasConcept C41008148 @default.
- W149006713 hasConcept C65880906 @default.
- W149006713 hasConcept C80444323 @default.
- W149006713 hasConcept C9354725 @default.
- W149006713 hasConceptScore W149006713C108710211 @default.
- W149006713 hasConceptScore W149006713C111472728 @default.
- W149006713 hasConceptScore W149006713C11413529 @default.
- W149006713 hasConceptScore W149006713C118615104 @default.
- W149006713 hasConceptScore W149006713C134306372 @default.
- W149006713 hasConceptScore W149006713C138885662 @default.
- W149006713 hasConceptScore W149006713C159718280 @default.
- W149006713 hasConceptScore W149006713C167729594 @default.
- W149006713 hasConceptScore W149006713C168773769 @default.
- W149006713 hasConceptScore W149006713C199360897 @default.
- W149006713 hasConceptScore W149006713C206880738 @default.
- W149006713 hasConceptScore W149006713C2524010 @default.
- W149006713 hasConceptScore W149006713C2776937632 @default.
- W149006713 hasConceptScore W149006713C29585364 @default.
- W149006713 hasConceptScore W149006713C33923547 @default.
- W149006713 hasConceptScore W149006713C36503486 @default.
- W149006713 hasConceptScore W149006713C41008148 @default.
- W149006713 hasConceptScore W149006713C65880906 @default.
- W149006713 hasConceptScore W149006713C80444323 @default.
- W149006713 hasConceptScore W149006713C9354725 @default.
- W149006713 hasLocation W1490067131 @default.
- W149006713 hasOpenAccess W149006713 @default.
- W149006713 hasPrimaryLocation W1490067131 @default.
- W149006713 hasRelatedWork W1479867604 @default.
- W149006713 hasRelatedWork W1485298279 @default.
- W149006713 hasRelatedWork W1499474569 @default.
- W149006713 hasRelatedWork W1566438397 @default.
- W149006713 hasRelatedWork W1568896301 @default.
- W149006713 hasRelatedWork W1578028018 @default.
- W149006713 hasRelatedWork W1592412049 @default.
- W149006713 hasRelatedWork W1595364754 @default.
- W149006713 hasRelatedWork W1691379155 @default.
- W149006713 hasRelatedWork W1789038455 @default.
- W149006713 hasRelatedWork W1842527047 @default.
- W149006713 hasRelatedWork W1879034897 @default.
- W149006713 hasRelatedWork W1965238492 @default.
- W149006713 hasRelatedWork W2013199089 @default.
- W149006713 hasRelatedWork W2075909731 @default.
- W149006713 hasRelatedWork W2108513783 @default.
- W149006713 hasRelatedWork W2120926795 @default.
- W149006713 hasRelatedWork W2133944737 @default.
- W149006713 hasRelatedWork W2161696511 @default.
- W149006713 hasRelatedWork W2589084440 @default.
- W149006713 isParatext "false" @default.
- W149006713 isRetracted "false" @default.
- W149006713 magId "149006713" @default.
- W149006713 workType "article" @default.