Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999722694> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1999722694 endingPage "239" @default.
- W1999722694 startingPage "227" @default.
- W1999722694 abstract "This paper describes a constructive system, based on a particular typed λ-calculus with constants and λ-expressions as types. This theory is principally based on intuitionistic type theory on the general idea of programming proofs which means extracting programs from constructive proofs. It can be considered as a basis of a system for automatized program sythesis by developing adapted techniques of programmation. It allows to partially automate the construction of programs from different specifications by a type-driven strategy. Moreover, the corresponding logical theory appears like a good base of higher-order calculus." @default.
- W1999722694 created "2016-06-24" @default.
- W1999722694 creator A5031692169 @default.
- W1999722694 date "1990-03-01" @default.
- W1999722694 modified "2023-09-28" @default.
- W1999722694 title "Constructive system for automatic program synthesis" @default.
- W1999722694 cites W1491813684 @default.
- W1999722694 cites W1540066904 @default.
- W1999722694 cites W1543743138 @default.
- W1999722694 cites W1847947185 @default.
- W1999722694 cites W1990946967 @default.
- W1999722694 cites W2015336142 @default.
- W1999722694 cites W2051685387 @default.
- W1999722694 cites W2054969282 @default.
- W1999722694 cites W2070577487 @default.
- W1999722694 cites W2089366670 @default.
- W1999722694 cites W2106718208 @default.
- W1999722694 cites W2110696178 @default.
- W1999722694 cites W2153978214 @default.
- W1999722694 cites W2154273644 @default.
- W1999722694 cites W2157558177 @default.
- W1999722694 cites W2166822586 @default.
- W1999722694 cites W2911570390 @default.
- W1999722694 cites W4494173 @default.
- W1999722694 cites W68752262 @default.
- W1999722694 doi "https://doi.org/10.1016/0304-3975(90)90199-r" @default.
- W1999722694 hasPublicationYear "1990" @default.
- W1999722694 type Work @default.
- W1999722694 sameAs 1999722694 @default.
- W1999722694 citedByCount "5" @default.
- W1999722694 crossrefType "journal-article" @default.
- W1999722694 hasAuthorship W1999722694A5031692169 @default.
- W1999722694 hasBestOaLocation W19997226941 @default.
- W1999722694 hasConcept C108710211 @default.
- W1999722694 hasConcept C134306372 @default.
- W1999722694 hasConcept C136119220 @default.
- W1999722694 hasConcept C18903297 @default.
- W1999722694 hasConcept C199343813 @default.
- W1999722694 hasConcept C199360897 @default.
- W1999722694 hasConcept C202444582 @default.
- W1999722694 hasConcept C20693621 @default.
- W1999722694 hasConcept C2524010 @default.
- W1999722694 hasConcept C2776937632 @default.
- W1999722694 hasConcept C2777299769 @default.
- W1999722694 hasConcept C2777686260 @default.
- W1999722694 hasConcept C2778701210 @default.
- W1999722694 hasConcept C33923547 @default.
- W1999722694 hasConcept C41008148 @default.
- W1999722694 hasConcept C42058472 @default.
- W1999722694 hasConcept C62073222 @default.
- W1999722694 hasConcept C71924100 @default.
- W1999722694 hasConcept C80444323 @default.
- W1999722694 hasConcept C86803240 @default.
- W1999722694 hasConcept C93682546 @default.
- W1999722694 hasConcept C98045186 @default.
- W1999722694 hasConceptScore W1999722694C108710211 @default.
- W1999722694 hasConceptScore W1999722694C134306372 @default.
- W1999722694 hasConceptScore W1999722694C136119220 @default.
- W1999722694 hasConceptScore W1999722694C18903297 @default.
- W1999722694 hasConceptScore W1999722694C199343813 @default.
- W1999722694 hasConceptScore W1999722694C199360897 @default.
- W1999722694 hasConceptScore W1999722694C202444582 @default.
- W1999722694 hasConceptScore W1999722694C20693621 @default.
- W1999722694 hasConceptScore W1999722694C2524010 @default.
- W1999722694 hasConceptScore W1999722694C2776937632 @default.
- W1999722694 hasConceptScore W1999722694C2777299769 @default.
- W1999722694 hasConceptScore W1999722694C2777686260 @default.
- W1999722694 hasConceptScore W1999722694C2778701210 @default.
- W1999722694 hasConceptScore W1999722694C33923547 @default.
- W1999722694 hasConceptScore W1999722694C41008148 @default.
- W1999722694 hasConceptScore W1999722694C42058472 @default.
- W1999722694 hasConceptScore W1999722694C62073222 @default.
- W1999722694 hasConceptScore W1999722694C71924100 @default.
- W1999722694 hasConceptScore W1999722694C80444323 @default.
- W1999722694 hasConceptScore W1999722694C86803240 @default.
- W1999722694 hasConceptScore W1999722694C93682546 @default.
- W1999722694 hasConceptScore W1999722694C98045186 @default.
- W1999722694 hasIssue "2" @default.
- W1999722694 hasLocation W19997226941 @default.
- W1999722694 hasOpenAccess W1999722694 @default.
- W1999722694 hasPrimaryLocation W19997226941 @default.
- W1999722694 hasRelatedWork W1483170865 @default.
- W1999722694 hasRelatedWork W1593200376 @default.
- W1999722694 hasRelatedWork W1999722694 @default.
- W1999722694 hasRelatedWork W2034155940 @default.
- W1999722694 hasRelatedWork W2081326103 @default.
- W1999722694 hasRelatedWork W2100376276 @default.
- W1999722694 hasRelatedWork W2406444852 @default.
- W1999722694 hasRelatedWork W2520914166 @default.
- W1999722694 hasRelatedWork W4301477546 @default.
- W1999722694 hasRelatedWork W2183851921 @default.
- W1999722694 hasVolume "71" @default.
- W1999722694 isParatext "false" @default.
- W1999722694 isRetracted "false" @default.
- W1999722694 magId "1999722694" @default.
- W1999722694 workType "article" @default.