Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597529941> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1597529941 endingPage "290" @default.
- W1597529941 startingPage "265" @default.
- W1597529941 abstract "λS extends the λ-calculus with recursive bindings, barriers, and updatable memory cells with synchronized operations. The calculus can express both deterministic and nondeterministic computations. It is designed to be useful for reasoning about compiler optimizations and thus allows reductions anywhere, even inside λ's. Despite the presence of side effects, the calculus retains fine-grained, implicit parallelism and non-strict functions: there is no global, sequentializing store. Barriers, for sequencing, capture a robust notion of termination. Although λS was developed as a foundation for the parallel functional languages pH and Id, we believe that barriers give it wider applicability — to sequential, explicitly parallel and concurrent languages. In this paper we describe the λS-calculus and its properties, based on a notion of observable information in a term. We also describe reduction strategies to compute maximal observable information even in the presence of unbounded nondeterminism." @default.
- W1597529941 created "2016-06-24" @default.
- W1597529941 creator A5004056707 @default.
- W1597529941 creator A5049412094 @default.
- W1597529941 creator A5060692552 @default.
- W1597529941 creator A5068365117 @default.
- W1597529941 date "1998-01-01" @default.
- W1597529941 modified "2023-10-01" @default.
- W1597529941 title "λS" @default.
- W1597529941 cites W1608269935 @default.
- W1597529941 cites W1973030866 @default.
- W1597529941 cites W1986804682 @default.
- W1597529941 cites W2000196688 @default.
- W1597529941 cites W2004843654 @default.
- W1597529941 cites W2010525351 @default.
- W1597529941 cites W2030663607 @default.
- W1597529941 cites W2062950667 @default.
- W1597529941 cites W2101016798 @default.
- W1597529941 doi "https://doi.org/10.1016/s1571-0661(04)00146-x" @default.
- W1597529941 hasPublicationYear "1998" @default.
- W1597529941 type Work @default.
- W1597529941 sameAs 1597529941 @default.
- W1597529941 citedByCount "4" @default.
- W1597529941 countsByYear W15975299412013 @default.
- W1597529941 crossrefType "journal-article" @default.
- W1597529941 hasAuthorship W1597529941A5004056707 @default.
- W1597529941 hasAuthorship W1597529941A5049412094 @default.
- W1597529941 hasAuthorship W1597529941A5060692552 @default.
- W1597529941 hasAuthorship W1597529941A5068365117 @default.
- W1597529941 hasBestOaLocation W15975299411 @default.
- W1597529941 hasConcept C121332964 @default.
- W1597529941 hasConcept C169590947 @default.
- W1597529941 hasConcept C173608175 @default.
- W1597529941 hasConcept C176181172 @default.
- W1597529941 hasConcept C193702766 @default.
- W1597529941 hasConcept C199343813 @default.
- W1597529941 hasConcept C199360897 @default.
- W1597529941 hasConcept C2777686260 @default.
- W1597529941 hasConcept C2781172179 @default.
- W1597529941 hasConcept C41008148 @default.
- W1597529941 hasConcept C45374587 @default.
- W1597529941 hasConcept C61797465 @default.
- W1597529941 hasConcept C62520636 @default.
- W1597529941 hasConcept C71924100 @default.
- W1597529941 hasConcept C80444323 @default.
- W1597529941 hasConceptScore W1597529941C121332964 @default.
- W1597529941 hasConceptScore W1597529941C169590947 @default.
- W1597529941 hasConceptScore W1597529941C173608175 @default.
- W1597529941 hasConceptScore W1597529941C176181172 @default.
- W1597529941 hasConceptScore W1597529941C193702766 @default.
- W1597529941 hasConceptScore W1597529941C199343813 @default.
- W1597529941 hasConceptScore W1597529941C199360897 @default.
- W1597529941 hasConceptScore W1597529941C2777686260 @default.
- W1597529941 hasConceptScore W1597529941C2781172179 @default.
- W1597529941 hasConceptScore W1597529941C41008148 @default.
- W1597529941 hasConceptScore W1597529941C45374587 @default.
- W1597529941 hasConceptScore W1597529941C61797465 @default.
- W1597529941 hasConceptScore W1597529941C62520636 @default.
- W1597529941 hasConceptScore W1597529941C71924100 @default.
- W1597529941 hasConceptScore W1597529941C80444323 @default.
- W1597529941 hasIssue "3" @default.
- W1597529941 hasLocation W15975299411 @default.
- W1597529941 hasOpenAccess W1597529941 @default.
- W1597529941 hasPrimaryLocation W15975299411 @default.
- W1597529941 hasRelatedWork W1496744108 @default.
- W1597529941 hasRelatedWork W1516292169 @default.
- W1597529941 hasRelatedWork W1972912085 @default.
- W1597529941 hasRelatedWork W2023505575 @default.
- W1597529941 hasRelatedWork W2348711589 @default.
- W1597529941 hasRelatedWork W2788685475 @default.
- W1597529941 hasRelatedWork W4234582073 @default.
- W1597529941 hasRelatedWork W4235959758 @default.
- W1597529941 hasRelatedWork W4240606930 @default.
- W1597529941 hasRelatedWork W4245265375 @default.
- W1597529941 hasVolume "16" @default.
- W1597529941 isParatext "false" @default.
- W1597529941 isRetracted "false" @default.
- W1597529941 magId "1597529941" @default.
- W1597529941 workType "article" @default.