Matches in SemOpenAlex for { <https://semopenalex.org/work/W15157627> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W15157627 endingPage "707" @default.
- W15157627 startingPage "704" @default.
- W15157627 abstract "In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. This approach not only conforms to the style of definition inherent to Prolog but also gives some accuracy to the types infered. We show the basic computation method of the superset by sequential approximation as well as an incremental method to utilize already obtained results. We also show its application to verification of Prolog programs." @default.
- W15157627 created "2016-06-24" @default.
- W15157627 creator A5074773820 @default.
- W15157627 creator A5088236639 @default.
- W15157627 date "1985-08-18" @default.
- W15157627 modified "2023-09-23" @default.
- W15157627 title "Type inference in prolog and its application" @default.
- W15157627 cites W1530164705 @default.
- W15157627 cites W1574765160 @default.
- W15157627 cites W1590828018 @default.
- W15157627 cites W171682210 @default.
- W15157627 cites W2038037493 @default.
- W15157627 cites W2108911687 @default.
- W15157627 cites W2140502249 @default.
- W15157627 cites W2143382644 @default.
- W15157627 hasPublicationYear "1985" @default.
- W15157627 type Work @default.
- W15157627 sameAs 15157627 @default.
- W15157627 citedByCount "11" @default.
- W15157627 crossrefType "proceedings-article" @default.
- W15157627 hasAuthorship W15157627A5074773820 @default.
- W15157627 hasAuthorship W15157627A5088236639 @default.
- W15157627 hasConcept C154945302 @default.
- W15157627 hasConcept C177264268 @default.
- W15157627 hasConcept C18903297 @default.
- W15157627 hasConcept C198370458 @default.
- W15157627 hasConcept C199360897 @default.
- W15157627 hasConcept C2776214188 @default.
- W15157627 hasConcept C2777299769 @default.
- W15157627 hasConcept C2778220771 @default.
- W15157627 hasConcept C3746660 @default.
- W15157627 hasConcept C41008148 @default.
- W15157627 hasConcept C45374587 @default.
- W15157627 hasConcept C80444323 @default.
- W15157627 hasConcept C81721847 @default.
- W15157627 hasConcept C86803240 @default.
- W15157627 hasConceptScore W15157627C154945302 @default.
- W15157627 hasConceptScore W15157627C177264268 @default.
- W15157627 hasConceptScore W15157627C18903297 @default.
- W15157627 hasConceptScore W15157627C198370458 @default.
- W15157627 hasConceptScore W15157627C199360897 @default.
- W15157627 hasConceptScore W15157627C2776214188 @default.
- W15157627 hasConceptScore W15157627C2777299769 @default.
- W15157627 hasConceptScore W15157627C2778220771 @default.
- W15157627 hasConceptScore W15157627C3746660 @default.
- W15157627 hasConceptScore W15157627C41008148 @default.
- W15157627 hasConceptScore W15157627C45374587 @default.
- W15157627 hasConceptScore W15157627C80444323 @default.
- W15157627 hasConceptScore W15157627C81721847 @default.
- W15157627 hasConceptScore W15157627C86803240 @default.
- W15157627 hasLocation W151576271 @default.
- W15157627 hasOpenAccess W15157627 @default.
- W15157627 hasPrimaryLocation W151576271 @default.
- W15157627 hasRelatedWork W1535051828 @default.
- W15157627 hasRelatedWork W1541434994 @default.
- W15157627 hasRelatedWork W1568232257 @default.
- W15157627 hasRelatedWork W159226319 @default.
- W15157627 hasRelatedWork W171682210 @default.
- W15157627 hasRelatedWork W1965377774 @default.
- W15157627 hasRelatedWork W1966955252 @default.
- W15157627 hasRelatedWork W1975813326 @default.
- W15157627 hasRelatedWork W2037439718 @default.
- W15157627 hasRelatedWork W2038037493 @default.
- W15157627 hasRelatedWork W2043100293 @default.
- W15157627 hasRelatedWork W2069076448 @default.
- W15157627 hasRelatedWork W207722629 @default.
- W15157627 hasRelatedWork W2079482412 @default.
- W15157627 hasRelatedWork W2081810835 @default.
- W15157627 hasRelatedWork W2108911687 @default.
- W15157627 hasRelatedWork W2521486077 @default.
- W15157627 hasRelatedWork W331842672 @default.
- W15157627 hasRelatedWork W42890986 @default.
- W15157627 hasRelatedWork W99535058 @default.
- W15157627 isParatext "false" @default.
- W15157627 isRetracted "false" @default.
- W15157627 magId "15157627" @default.
- W15157627 workType "article" @default.