Matches in SemOpenAlex for { <https://semopenalex.org/work/W1536212484> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1536212484 abstract "Constructor-based term rewriting systems are a useful subclass of TRS, in particular for programming purposes. In this kind of systems constructors determine a universe of values, which are the expected output of the computations. Then it would be natural to think of a semantics associating each expression to the set of its reachable values. Somehow surprisingly, the resulting semantics has poor properties, for it is not compositional nor fully abstract when non-confluent systems are considered. In this paper we propose a novel semantics for expressions in constructor systems, which is compositional and fully abstract (with respect to sensible observation functions, in particular the set of reachable values for an expression), and therefore can serve as appropriate basis for semantic based analysis or manipulation of such kind of rewrite systems." @default.
- W1536212484 created "2016-06-24" @default.
- W1536212484 creator A5024844226 @default.
- W1536212484 creator A5061438901 @default.
- W1536212484 creator A5073297779 @default.
- W1536212484 date "2009-01-01" @default.
- W1536212484 modified "2023-10-01" @default.
- W1536212484 title "A Fully Abstract Semantics for Constructor Systems" @default.
- W1536212484 cites W1505737591 @default.
- W1536212484 cites W1512480360 @default.
- W1536212484 cites W1530632793 @default.
- W1536212484 cites W1552961498 @default.
- W1536212484 cites W1818509088 @default.
- W1536212484 cites W1987915730 @default.
- W1536212484 cites W2007270285 @default.
- W1536212484 cites W2063521547 @default.
- W1536212484 cites W2091567516 @default.
- W1536212484 cites W2102863019 @default.
- W1536212484 cites W2106602483 @default.
- W1536212484 cites W2138319635 @default.
- W1536212484 cites W2168144301 @default.
- W1536212484 cites W2911801860 @default.
- W1536212484 doi "https://doi.org/10.1007/978-3-642-02348-4_23" @default.
- W1536212484 hasPublicationYear "2009" @default.
- W1536212484 type Work @default.
- W1536212484 sameAs 1536212484 @default.
- W1536212484 citedByCount "5" @default.
- W1536212484 countsByYear W15362124842012 @default.
- W1536212484 countsByYear W15362124842015 @default.
- W1536212484 crossrefType "book-chapter" @default.
- W1536212484 hasAuthorship W1536212484A5024844226 @default.
- W1536212484 hasAuthorship W1536212484A5061438901 @default.
- W1536212484 hasAuthorship W1536212484A5073297779 @default.
- W1536212484 hasConcept C121332964 @default.
- W1536212484 hasConcept C154690210 @default.
- W1536212484 hasConcept C177264268 @default.
- W1536212484 hasConcept C184337299 @default.
- W1536212484 hasConcept C199360897 @default.
- W1536212484 hasConcept C41008148 @default.
- W1536212484 hasConcept C45374587 @default.
- W1536212484 hasConcept C61797465 @default.
- W1536212484 hasConcept C62520636 @default.
- W1536212484 hasConcept C80444323 @default.
- W1536212484 hasConcept C90559484 @default.
- W1536212484 hasConceptScore W1536212484C121332964 @default.
- W1536212484 hasConceptScore W1536212484C154690210 @default.
- W1536212484 hasConceptScore W1536212484C177264268 @default.
- W1536212484 hasConceptScore W1536212484C184337299 @default.
- W1536212484 hasConceptScore W1536212484C199360897 @default.
- W1536212484 hasConceptScore W1536212484C41008148 @default.
- W1536212484 hasConceptScore W1536212484C45374587 @default.
- W1536212484 hasConceptScore W1536212484C61797465 @default.
- W1536212484 hasConceptScore W1536212484C62520636 @default.
- W1536212484 hasConceptScore W1536212484C80444323 @default.
- W1536212484 hasConceptScore W1536212484C90559484 @default.
- W1536212484 hasLocation W15362124841 @default.
- W1536212484 hasOpenAccess W1536212484 @default.
- W1536212484 hasPrimaryLocation W15362124841 @default.
- W1536212484 hasRelatedWork W1480526257 @default.
- W1536212484 hasRelatedWork W1501801102 @default.
- W1536212484 hasRelatedWork W1507424848 @default.
- W1536212484 hasRelatedWork W1512029759 @default.
- W1536212484 hasRelatedWork W1928673936 @default.
- W1536212484 hasRelatedWork W2017543653 @default.
- W1536212484 hasRelatedWork W2030360570 @default.
- W1536212484 hasRelatedWork W2037008576 @default.
- W1536212484 hasRelatedWork W2041037071 @default.
- W1536212484 hasRelatedWork W2063521547 @default.
- W1536212484 hasRelatedWork W2068575019 @default.
- W1536212484 hasRelatedWork W2081746087 @default.
- W1536212484 hasRelatedWork W2104245532 @default.
- W1536212484 hasRelatedWork W2118901561 @default.
- W1536212484 hasRelatedWork W2124521033 @default.
- W1536212484 hasRelatedWork W2621123341 @default.
- W1536212484 hasRelatedWork W2886166078 @default.
- W1536212484 hasRelatedWork W3125470836 @default.
- W1536212484 hasRelatedWork W3206788814 @default.
- W1536212484 hasRelatedWork W2113898191 @default.
- W1536212484 isParatext "false" @default.
- W1536212484 isRetracted "false" @default.
- W1536212484 magId "1536212484" @default.
- W1536212484 workType "book-chapter" @default.