Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500528075> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1500528075 abstract "A general framework for synthesizing efficient programs, using tools such as higher-order unification (henceforth HOU), has been developed and holds promise for encapsulating an otherwise diverse, and often ad hoc, range of transformation techniques. A prototype system has been implemented. Proof plans — formal outlines of constructive proofs — are used to control the (automatic) synthesis of the efficient programs from standard definitional equations [1,6,5]. Programs are specified in the standard equational form within the logic of the OYSTER proof refinement system. The construction of the improved functions is automatically controlled using the CLAM proof planner [2]." @default.
- W1500528075 created "2016-06-24" @default.
- W1500528075 creator A5020176705 @default.
- W1500528075 creator A5040311876 @default.
- W1500528075 creator A5055516729 @default.
- W1500528075 creator A5071849648 @default.
- W1500528075 date "1994-01-01" @default.
- W1500528075 modified "2023-09-27" @default.
- W1500528075 title "A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)" @default.
- W1500528075 cites W1590963539 @default.
- W1500528075 doi "https://doi.org/10.1007/978-1-4471-3234-9_6" @default.
- W1500528075 hasPublicationYear "1994" @default.
- W1500528075 type Work @default.
- W1500528075 sameAs 1500528075 @default.
- W1500528075 citedByCount "0" @default.
- W1500528075 crossrefType "book-chapter" @default.
- W1500528075 hasAuthorship W1500528075A5020176705 @default.
- W1500528075 hasAuthorship W1500528075A5040311876 @default.
- W1500528075 hasAuthorship W1500528075A5055516729 @default.
- W1500528075 hasAuthorship W1500528075A5071849648 @default.
- W1500528075 hasConcept C104317684 @default.
- W1500528075 hasConcept C108710211 @default.
- W1500528075 hasConcept C111919701 @default.
- W1500528075 hasConcept C118615104 @default.
- W1500528075 hasConcept C124978682 @default.
- W1500528075 hasConcept C185592680 @default.
- W1500528075 hasConcept C195653647 @default.
- W1500528075 hasConcept C199360897 @default.
- W1500528075 hasConcept C202854965 @default.
- W1500528075 hasConcept C204241405 @default.
- W1500528075 hasConcept C2318724 @default.
- W1500528075 hasConcept C2524010 @default.
- W1500528075 hasConcept C2776999362 @default.
- W1500528075 hasConcept C2778701210 @default.
- W1500528075 hasConcept C33923547 @default.
- W1500528075 hasConcept C41008148 @default.
- W1500528075 hasConcept C55493867 @default.
- W1500528075 hasConcept C80444323 @default.
- W1500528075 hasConcept C96146094 @default.
- W1500528075 hasConcept C98045186 @default.
- W1500528075 hasConceptScore W1500528075C104317684 @default.
- W1500528075 hasConceptScore W1500528075C108710211 @default.
- W1500528075 hasConceptScore W1500528075C111919701 @default.
- W1500528075 hasConceptScore W1500528075C118615104 @default.
- W1500528075 hasConceptScore W1500528075C124978682 @default.
- W1500528075 hasConceptScore W1500528075C185592680 @default.
- W1500528075 hasConceptScore W1500528075C195653647 @default.
- W1500528075 hasConceptScore W1500528075C199360897 @default.
- W1500528075 hasConceptScore W1500528075C202854965 @default.
- W1500528075 hasConceptScore W1500528075C204241405 @default.
- W1500528075 hasConceptScore W1500528075C2318724 @default.
- W1500528075 hasConceptScore W1500528075C2524010 @default.
- W1500528075 hasConceptScore W1500528075C2776999362 @default.
- W1500528075 hasConceptScore W1500528075C2778701210 @default.
- W1500528075 hasConceptScore W1500528075C33923547 @default.
- W1500528075 hasConceptScore W1500528075C41008148 @default.
- W1500528075 hasConceptScore W1500528075C55493867 @default.
- W1500528075 hasConceptScore W1500528075C80444323 @default.
- W1500528075 hasConceptScore W1500528075C96146094 @default.
- W1500528075 hasConceptScore W1500528075C98045186 @default.
- W1500528075 hasLocation W15005280751 @default.
- W1500528075 hasOpenAccess W1500528075 @default.
- W1500528075 hasPrimaryLocation W15005280751 @default.
- W1500528075 hasRelatedWork W1480066371 @default.
- W1500528075 hasRelatedWork W1509570023 @default.
- W1500528075 hasRelatedWork W1530448706 @default.
- W1500528075 hasRelatedWork W1543348988 @default.
- W1500528075 hasRelatedWork W1573627012 @default.
- W1500528075 hasRelatedWork W1574935479 @default.
- W1500528075 hasRelatedWork W1881765559 @default.
- W1500528075 hasRelatedWork W1994531396 @default.
- W1500528075 hasRelatedWork W1999722694 @default.
- W1500528075 hasRelatedWork W2127323771 @default.
- W1500528075 hasRelatedWork W2141290989 @default.
- W1500528075 hasRelatedWork W2148193377 @default.
- W1500528075 hasRelatedWork W2263677784 @default.
- W1500528075 hasRelatedWork W2787072979 @default.
- W1500528075 hasRelatedWork W3026697850 @default.
- W1500528075 hasRelatedWork W3037147088 @default.
- W1500528075 hasRelatedWork W3044960660 @default.
- W1500528075 hasRelatedWork W3093073250 @default.
- W1500528075 hasRelatedWork W2132186764 @default.
- W1500528075 hasRelatedWork W2173983691 @default.
- W1500528075 isParatext "false" @default.
- W1500528075 isRetracted "false" @default.
- W1500528075 magId "1500528075" @default.
- W1500528075 workType "book-chapter" @default.