Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022647944> ?p ?o ?g. }
- W2022647944 abstract "We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and integrated functional logic languages (residuation and narrowing). This computation model combines efficient evaluation principles of functional languages with the problem-solving capabilities of logic programming. Since the model allows the delay of function calls which are not sufficiently instantiated, it also supports a concurrent style of programming. We provide soundness and completeness results and show that known evaluation principles of functional logic languages are particular instances of this model. Thus, our model is a suitable basis for future declarative programming languages." @default.
- W2022647944 created "2016-06-24" @default.
- W2022647944 creator A5024421847 @default.
- W2022647944 date "1997-01-01" @default.
- W2022647944 modified "2023-10-17" @default.
- W2022647944 title "A unified computation model for functional and logic programming" @default.
- W2022647944 cites W100098737 @default.
- W2022647944 cites W1517151294 @default.
- W2022647944 cites W1520427615 @default.
- W2022647944 cites W1521843416 @default.
- W2022647944 cites W1542304993 @default.
- W2022647944 cites W1550461844 @default.
- W2022647944 cites W1552425450 @default.
- W2022647944 cites W155273981 @default.
- W2022647944 cites W1558611007 @default.
- W2022647944 cites W1572831335 @default.
- W2022647944 cites W1585088833 @default.
- W2022647944 cites W1599996235 @default.
- W2022647944 cites W1603716093 @default.
- W2022647944 cites W1608162599 @default.
- W2022647944 cites W1975247475 @default.
- W2022647944 cites W1983814902 @default.
- W2022647944 cites W2036191870 @default.
- W2022647944 cites W2053719172 @default.
- W2022647944 cites W2059799630 @default.
- W2022647944 cites W2078852650 @default.
- W2022647944 cites W2087389137 @default.
- W2022647944 cites W2141578886 @default.
- W2022647944 cites W2158956202 @default.
- W2022647944 cites W2167316540 @default.
- W2022647944 cites W2912818154 @default.
- W2022647944 cites W2913954624 @default.
- W2022647944 cites W2467711735 @default.
- W2022647944 cites W50947445 @default.
- W2022647944 doi "https://doi.org/10.1145/263699.263710" @default.
- W2022647944 hasPublicationYear "1997" @default.
- W2022647944 type Work @default.
- W2022647944 sameAs 2022647944 @default.
- W2022647944 citedByCount "143" @default.
- W2022647944 countsByYear W20226479442012 @default.
- W2022647944 countsByYear W20226479442013 @default.
- W2022647944 countsByYear W20226479442014 @default.
- W2022647944 countsByYear W20226479442015 @default.
- W2022647944 countsByYear W20226479442016 @default.
- W2022647944 countsByYear W20226479442017 @default.
- W2022647944 countsByYear W20226479442018 @default.
- W2022647944 countsByYear W20226479442019 @default.
- W2022647944 countsByYear W20226479442020 @default.
- W2022647944 crossrefType "proceedings-article" @default.
- W2022647944 hasAuthorship W2022647944A5024421847 @default.
- W2022647944 hasConcept C102993220 @default.
- W2022647944 hasConcept C124047733 @default.
- W2022647944 hasConcept C128838566 @default.
- W2022647944 hasConcept C134306372 @default.
- W2022647944 hasConcept C146206909 @default.
- W2022647944 hasConcept C17231256 @default.
- W2022647944 hasConcept C199305712 @default.
- W2022647944 hasConcept C199360897 @default.
- W2022647944 hasConcept C33923547 @default.
- W2022647944 hasConcept C34165917 @default.
- W2022647944 hasConcept C39920170 @default.
- W2022647944 hasConcept C41008148 @default.
- W2022647944 hasConcept C42383842 @default.
- W2022647944 hasConcept C45374587 @default.
- W2022647944 hasConcept C50033165 @default.
- W2022647944 hasConcept C80444323 @default.
- W2022647944 hasConcept C81721847 @default.
- W2022647944 hasConcept C96315309 @default.
- W2022647944 hasConceptScore W2022647944C102993220 @default.
- W2022647944 hasConceptScore W2022647944C124047733 @default.
- W2022647944 hasConceptScore W2022647944C128838566 @default.
- W2022647944 hasConceptScore W2022647944C134306372 @default.
- W2022647944 hasConceptScore W2022647944C146206909 @default.
- W2022647944 hasConceptScore W2022647944C17231256 @default.
- W2022647944 hasConceptScore W2022647944C199305712 @default.
- W2022647944 hasConceptScore W2022647944C199360897 @default.
- W2022647944 hasConceptScore W2022647944C33923547 @default.
- W2022647944 hasConceptScore W2022647944C34165917 @default.
- W2022647944 hasConceptScore W2022647944C39920170 @default.
- W2022647944 hasConceptScore W2022647944C41008148 @default.
- W2022647944 hasConceptScore W2022647944C42383842 @default.
- W2022647944 hasConceptScore W2022647944C45374587 @default.
- W2022647944 hasConceptScore W2022647944C50033165 @default.
- W2022647944 hasConceptScore W2022647944C80444323 @default.
- W2022647944 hasConceptScore W2022647944C81721847 @default.
- W2022647944 hasConceptScore W2022647944C96315309 @default.
- W2022647944 hasLocation W20226479441 @default.
- W2022647944 hasOpenAccess W2022647944 @default.
- W2022647944 hasPrimaryLocation W20226479441 @default.
- W2022647944 hasRelatedWork W1568189742 @default.
- W2022647944 hasRelatedWork W2022647944 @default.
- W2022647944 hasRelatedWork W2089642402 @default.
- W2022647944 hasRelatedWork W2108000406 @default.
- W2022647944 hasRelatedWork W2230132651 @default.
- W2022647944 hasRelatedWork W2348463574 @default.
- W2022647944 hasRelatedWork W2553706208 @default.
- W2022647944 hasRelatedWork W2911416019 @default.
- W2022647944 hasRelatedWork W4250566046 @default.
- W2022647944 hasRelatedWork W4252624629 @default.
- W2022647944 isParatext "false" @default.