Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113029157> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2113029157 endingPage "116" @default.
- W2113029157 startingPage "65" @default.
- W2113029157 abstract "Abstract Modern functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CSs) as programs in order to define non-strict and non-deterministic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time choice and run-time choice. While the former is the standard choice of modern FLP languages, the latter lacks some basic properties – mainly compositionality – that have prevented its use in practical FLP systems. Traditionally it has been considered that call-time choice induces a singular denotational semantics, while run-time choice induces a plural semantics. We have discovered that this latter identification is wrong when pattern matching is involved, and thus in this paper we propose two novel compositional plural semantics for CSs that are different from run-time choice. We investigate the basic properties of our plural semantics – compositionality, polarity, and monotonicity for substitutions, and a restricted form of the bubbling property for CSs – and the relation between them and to previous proposals, concluding that these semantics form a hierarchy in the sense of set inclusion of the set of values computed by them. Besides, we have identified a class of programs characterized by a simple syntactic criterion for which the proposed plural semantics behave the same, and a program transformation that can be used to simulate one of the proposed plural semantics by term rewriting. At the practical level, we study how to use the new expressive capabilities of these semantics for improving the declarative flavor of programs. As call-time choice is the standard semantics for FLP, it still remains the best option for many common programming patterns. Therefore, we propose a language that combines call-time choice and our plural semantics, which we have implemented in the Maude system. The resulting interpreter is then employed to develop and test several significant examples showing the capabilities of the combined semantics." @default.
- W2113029157 created "2016-06-24" @default.
- W2113029157 creator A5024844226 @default.
- W2113029157 creator A5048720165 @default.
- W2113029157 date "2012-05-17" @default.
- W2113029157 modified "2023-09-24" @default.
- W2113029157 title "Singular and plural functions for functional logic programming" @default.
- W2113029157 cites W1513973968 @default.
- W2113029157 cites W1980781982 @default.
- W2113029157 cites W2010331618 @default.
- W2113029157 cites W2017543653 @default.
- W2113029157 cites W2059895047 @default.
- W2113029157 cites W2063521547 @default.
- W2113029157 cites W2097911101 @default.
- W2113029157 cites W2103328616 @default.
- W2113029157 cites W2108792311 @default.
- W2113029157 cites W2127844749 @default.
- W2113029157 cites W2138319635 @default.
- W2113029157 cites W2142044962 @default.
- W2113029157 cites W2166089338 @default.
- W2113029157 cites W4230919050 @default.
- W2113029157 cites W4251084952 @default.
- W2113029157 doi "https://doi.org/10.1017/s147106841200004x" @default.
- W2113029157 hasPublicationYear "2012" @default.
- W2113029157 type Work @default.
- W2113029157 sameAs 2113029157 @default.
- W2113029157 citedByCount "2" @default.
- W2113029157 countsByYear W21130291572014 @default.
- W2113029157 countsByYear W21130291572019 @default.
- W2113029157 crossrefType "journal-article" @default.
- W2113029157 hasAuthorship W2113029157A5024844226 @default.
- W2113029157 hasAuthorship W2113029157A5048720165 @default.
- W2113029157 hasBestOaLocation W21130291572 @default.
- W2113029157 hasConcept C121375916 @default.
- W2113029157 hasConcept C128838566 @default.
- W2113029157 hasConcept C138885662 @default.
- W2113029157 hasConcept C154690210 @default.
- W2113029157 hasConcept C154945302 @default.
- W2113029157 hasConcept C156325763 @default.
- W2113029157 hasConcept C177264268 @default.
- W2113029157 hasConcept C184337299 @default.
- W2113029157 hasConcept C199360897 @default.
- W2113029157 hasConcept C207648694 @default.
- W2113029157 hasConcept C2778361913 @default.
- W2113029157 hasConcept C2779835924 @default.
- W2113029157 hasConcept C41008148 @default.
- W2113029157 hasConcept C41895202 @default.
- W2113029157 hasConcept C42383842 @default.
- W2113029157 hasConcept C80444323 @default.
- W2113029157 hasConcept C89497691 @default.
- W2113029157 hasConceptScore W2113029157C121375916 @default.
- W2113029157 hasConceptScore W2113029157C128838566 @default.
- W2113029157 hasConceptScore W2113029157C138885662 @default.
- W2113029157 hasConceptScore W2113029157C154690210 @default.
- W2113029157 hasConceptScore W2113029157C154945302 @default.
- W2113029157 hasConceptScore W2113029157C156325763 @default.
- W2113029157 hasConceptScore W2113029157C177264268 @default.
- W2113029157 hasConceptScore W2113029157C184337299 @default.
- W2113029157 hasConceptScore W2113029157C199360897 @default.
- W2113029157 hasConceptScore W2113029157C207648694 @default.
- W2113029157 hasConceptScore W2113029157C2778361913 @default.
- W2113029157 hasConceptScore W2113029157C2779835924 @default.
- W2113029157 hasConceptScore W2113029157C41008148 @default.
- W2113029157 hasConceptScore W2113029157C41895202 @default.
- W2113029157 hasConceptScore W2113029157C42383842 @default.
- W2113029157 hasConceptScore W2113029157C80444323 @default.
- W2113029157 hasConceptScore W2113029157C89497691 @default.
- W2113029157 hasIssue "1" @default.
- W2113029157 hasLocation W21130291571 @default.
- W2113029157 hasLocation W21130291572 @default.
- W2113029157 hasOpenAccess W2113029157 @default.
- W2113029157 hasPrimaryLocation W21130291571 @default.
- W2113029157 hasRelatedWork W1976684752 @default.
- W2113029157 hasRelatedWork W2032673545 @default.
- W2113029157 hasRelatedWork W2053719172 @default.
- W2113029157 hasRelatedWork W2108325481 @default.
- W2113029157 hasRelatedWork W2113029157 @default.
- W2113029157 hasRelatedWork W2179833932 @default.
- W2113029157 hasRelatedWork W2949586550 @default.
- W2113029157 hasRelatedWork W2952198901 @default.
- W2113029157 hasRelatedWork W1678966650 @default.
- W2113029157 hasRelatedWork W1958334269 @default.
- W2113029157 hasVolume "14" @default.
- W2113029157 isParatext "false" @default.
- W2113029157 isRetracted "false" @default.
- W2113029157 magId "2113029157" @default.
- W2113029157 workType "article" @default.