Matches in SemOpenAlex for { <https://semopenalex.org/work/W2598128167> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2598128167 abstract "Programmers involved in software designs, frequently feel the need of the co-existence and collaboration of different description notations, e.g., predicate logic and functions. The aim of this thesis is the design and the realization of a programming language in which a functional language and Horn clauses are integrated in a single framework. The central idea of our approach is to use typed lambda-calculus and meta-narrowing. Meta-narrowing is based on the flat SLD-resolution. The implementation of our system is to be considered an experimental tool, named LL. This language extends logic language by adding the function capability and types and replacing the heart of the unification process by narrowing. This thesis presents the descriptions of this language and illustrates its capabilities. We also summarize the diverse approaches that suggest their integrations at different levels." @default.
- W2598128167 created "2017-04-07" @default.
- W2598128167 creator A5027797190 @default.
- W2598128167 date "1992-01-01" @default.
- W2598128167 modified "2023-09-26" @default.
- W2598128167 title "An integration of logic and functional programming paradigms: type theory and meta-narrowing" @default.
- W2598128167 hasPublicationYear "1992" @default.
- W2598128167 type Work @default.
- W2598128167 sameAs 2598128167 @default.
- W2598128167 citedByCount "0" @default.
- W2598128167 crossrefType "journal-article" @default.
- W2598128167 hasAuthorship W2598128167A5027797190 @default.
- W2598128167 hasConcept C128838566 @default.
- W2598128167 hasConcept C135790938 @default.
- W2598128167 hasConcept C154945302 @default.
- W2598128167 hasConcept C185954173 @default.
- W2598128167 hasConcept C189790780 @default.
- W2598128167 hasConcept C195324797 @default.
- W2598128167 hasConcept C199360897 @default.
- W2598128167 hasConcept C20528804 @default.
- W2598128167 hasConcept C33923547 @default.
- W2598128167 hasConcept C41008148 @default.
- W2598128167 hasConcept C42383842 @default.
- W2598128167 hasConcept C45357846 @default.
- W2598128167 hasConcept C81721847 @default.
- W2598128167 hasConcept C94375191 @default.
- W2598128167 hasConcept C96146094 @default.
- W2598128167 hasConceptScore W2598128167C128838566 @default.
- W2598128167 hasConceptScore W2598128167C135790938 @default.
- W2598128167 hasConceptScore W2598128167C154945302 @default.
- W2598128167 hasConceptScore W2598128167C185954173 @default.
- W2598128167 hasConceptScore W2598128167C189790780 @default.
- W2598128167 hasConceptScore W2598128167C195324797 @default.
- W2598128167 hasConceptScore W2598128167C199360897 @default.
- W2598128167 hasConceptScore W2598128167C20528804 @default.
- W2598128167 hasConceptScore W2598128167C33923547 @default.
- W2598128167 hasConceptScore W2598128167C41008148 @default.
- W2598128167 hasConceptScore W2598128167C42383842 @default.
- W2598128167 hasConceptScore W2598128167C45357846 @default.
- W2598128167 hasConceptScore W2598128167C81721847 @default.
- W2598128167 hasConceptScore W2598128167C94375191 @default.
- W2598128167 hasConceptScore W2598128167C96146094 @default.
- W2598128167 hasLocation W25981281671 @default.
- W2598128167 hasOpenAccess W2598128167 @default.
- W2598128167 hasPrimaryLocation W25981281671 @default.
- W2598128167 hasRelatedWork W143380256 @default.
- W2598128167 hasRelatedWork W1486253125 @default.
- W2598128167 hasRelatedWork W1565619322 @default.
- W2598128167 hasRelatedWork W1660013903 @default.
- W2598128167 hasRelatedWork W1755575350 @default.
- W2598128167 hasRelatedWork W1880050370 @default.
- W2598128167 hasRelatedWork W1890783212 @default.
- W2598128167 hasRelatedWork W2007792063 @default.
- W2598128167 hasRelatedWork W2167938659 @default.
- W2598128167 hasRelatedWork W2168279966 @default.
- W2598128167 hasRelatedWork W2342500571 @default.
- W2598128167 hasRelatedWork W2807613682 @default.
- W2598128167 hasRelatedWork W2808836817 @default.
- W2598128167 hasRelatedWork W2890218907 @default.
- W2598128167 hasRelatedWork W2928474899 @default.
- W2598128167 hasRelatedWork W3037969331 @default.
- W2598128167 hasRelatedWork W3044510218 @default.
- W2598128167 hasRelatedWork W3120235147 @default.
- W2598128167 hasRelatedWork W95022996 @default.
- W2598128167 hasRelatedWork W2592089860 @default.
- W2598128167 isParatext "false" @default.
- W2598128167 isRetracted "false" @default.
- W2598128167 magId "2598128167" @default.
- W2598128167 workType "article" @default.