Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582634391> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1582634391 endingPage "215" @default.
- W1582634391 startingPage "197" @default.
- W1582634391 abstract "The B concept of generalised substitutions is applied to expressions as well as predicates to obtain transformers, which formalise the idea of speculative computation and form part of the executable subset of our language. We define expression transformers over the syntactic constructs of B-GSL, and show this definition is equivalent to an alternative based on before-after predicates. The use of expression transformers is illustrated by example programs which combine functional and imperative programming styles and exploit backtracking." @default.
- W1582634391 created "2016-06-24" @default.
- W1582634391 creator A5015296279 @default.
- W1582634391 creator A5082109015 @default.
- W1582634391 date "2003-01-01" @default.
- W1582634391 modified "2023-09-27" @default.
- W1582634391 title "Expression Transformers in B-GSL" @default.
- W1582634391 cites W1967919774 @default.
- W1582634391 cites W1977333667 @default.
- W1582634391 cites W1997143185 @default.
- W1582634391 cites W2030865387 @default.
- W1582634391 cites W2081945419 @default.
- W1582634391 doi "https://doi.org/10.1007/3-540-44880-2_14" @default.
- W1582634391 hasPublicationYear "2003" @default.
- W1582634391 type Work @default.
- W1582634391 sameAs 1582634391 @default.
- W1582634391 citedByCount "2" @default.
- W1582634391 crossrefType "book-chapter" @default.
- W1582634391 hasAuthorship W1582634391A5015296279 @default.
- W1582634391 hasAuthorship W1582634391A5082109015 @default.
- W1582634391 hasConcept C119599485 @default.
- W1582634391 hasConcept C127413603 @default.
- W1582634391 hasConcept C165801399 @default.
- W1582634391 hasConcept C199360897 @default.
- W1582634391 hasConcept C41008148 @default.
- W1582634391 hasConcept C66322947 @default.
- W1582634391 hasConcept C90559484 @default.
- W1582634391 hasConceptScore W1582634391C119599485 @default.
- W1582634391 hasConceptScore W1582634391C127413603 @default.
- W1582634391 hasConceptScore W1582634391C165801399 @default.
- W1582634391 hasConceptScore W1582634391C199360897 @default.
- W1582634391 hasConceptScore W1582634391C41008148 @default.
- W1582634391 hasConceptScore W1582634391C66322947 @default.
- W1582634391 hasConceptScore W1582634391C90559484 @default.
- W1582634391 hasLocation W15826343911 @default.
- W1582634391 hasOpenAccess W1582634391 @default.
- W1582634391 hasPrimaryLocation W15826343911 @default.
- W1582634391 hasRelatedWork W2093578348 @default.
- W1582634391 hasRelatedWork W2096946506 @default.
- W1582634391 hasRelatedWork W2349284179 @default.
- W1582634391 hasRelatedWork W2358668433 @default.
- W1582634391 hasRelatedWork W2376932109 @default.
- W1582634391 hasRelatedWork W2382290278 @default.
- W1582634391 hasRelatedWork W2390279801 @default.
- W1582634391 hasRelatedWork W2748952813 @default.
- W1582634391 hasRelatedWork W2899084033 @default.
- W1582634391 hasRelatedWork W3157910026 @default.
- W1582634391 isParatext "false" @default.
- W1582634391 isRetracted "false" @default.
- W1582634391 magId "1582634391" @default.
- W1582634391 workType "book-chapter" @default.