Matches in SemOpenAlex for { <https://semopenalex.org/work/W183213366> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W183213366 endingPage "31" @default.
- W183213366 startingPage "11" @default.
- W183213366 abstract "Nondeterminism can be introduced into a functional language, along with a set of laws for reasoning about the behaviour of programs, without disturbing referential transparency. We show how to do this by adding a new type constructor for sets and a carefully selected family of operations on sets. Instead of specifying a nondeterministic choice explicitly with choose or amb, a programmer specifies the set of values which the program might compute. Operations on sets are restricted in order to maintain laws for reasoning about programs; in particular, no function can choose an element from a set. The implementation is specified via rewrite rules that transform a program in the nondeterministic language into an ordinary functional program augmented with amb (which is not directly accessible to the programmer). The denotational semantics for this language is based on the Hoare powerdomain, so it includes bottom as a possible result even when the implementation will definitely not produce bottom. Since the denotational semantics fails to capture all the properties of the implementation, we present an additional method for reasoning about the productivity of a program. Productivity can be used to place additional constraints on the implementation which are not expressible in the powerdomain semantics. All of these techniques are illustrated by defining a “processor farm” program and proving several of its properties." @default.
- W183213366 created "2016-06-24" @default.
- W183213366 creator A5064632597 @default.
- W183213366 creator A5068339489 @default.
- W183213366 date "1991-01-01" @default.
- W183213366 modified "2023-09-26" @default.
- W183213366 title "Nondeterministic Functional Programming with Sets" @default.
- W183213366 cites W1592922501 @default.
- W183213366 cites W2057292961 @default.
- W183213366 cites W2166089338 @default.
- W183213366 doi "https://doi.org/10.1007/978-1-4471-3182-3_2" @default.
- W183213366 hasPublicationYear "1991" @default.
- W183213366 type Work @default.
- W183213366 sameAs 183213366 @default.
- W183213366 citedByCount "4" @default.
- W183213366 crossrefType "book-chapter" @default.
- W183213366 hasAuthorship W183213366A5064632597 @default.
- W183213366 hasAuthorship W183213366A5068339489 @default.
- W183213366 hasConcept C176181172 @default.
- W183213366 hasConcept C199360897 @default.
- W183213366 hasConcept C41008148 @default.
- W183213366 hasConcept C80444323 @default.
- W183213366 hasConceptScore W183213366C176181172 @default.
- W183213366 hasConceptScore W183213366C199360897 @default.
- W183213366 hasConceptScore W183213366C41008148 @default.
- W183213366 hasConceptScore W183213366C80444323 @default.
- W183213366 hasLocation W1832133661 @default.
- W183213366 hasOpenAccess W183213366 @default.
- W183213366 hasPrimaryLocation W1832133661 @default.
- W183213366 hasRelatedWork W1492399570 @default.
- W183213366 hasRelatedWork W1527862632 @default.
- W183213366 hasRelatedWork W1823227073 @default.
- W183213366 hasRelatedWork W2109507516 @default.
- W183213366 hasRelatedWork W2112962394 @default.
- W183213366 hasRelatedWork W2118300983 @default.
- W183213366 hasRelatedWork W2135396778 @default.
- W183213366 hasRelatedWork W2998136486 @default.
- W183213366 hasRelatedWork W4243252198 @default.
- W183213366 hasRelatedWork W2583261385 @default.
- W183213366 isParatext "false" @default.
- W183213366 isRetracted "false" @default.
- W183213366 magId "183213366" @default.
- W183213366 workType "book-chapter" @default.