Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998378110> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1998378110 endingPage "106" @default.
- W1998378110 startingPage "64" @default.
- W1998378110 abstract "We study an applied typed call-by-valueλ-calculus which in addition to the usual types for higher-order functions contains an extra type called proc, for processes; the constructors for terms of this type are similar to those found in standard process calculi such as CCS. We first give an operational semantics for this language in terms of a labeled transition system which is then used to give a behavioral preorder based on contexts; the expressionNdominatesMif in every appropriate context ifMcan produce a boolean value then so canN. Based on standard domain constructors we define a model, a prime algebraic lattice, which isfully abstractwith respect to this behavior preorder; expressions are related in the model if and only if they are related behaviorally. The proof method uses concepts that are of independent interest. It involves characterizing the domain using filters of a property logic for program expressions and developing a program logic for relating program expressions with property formulae." @default.
- W1998378110 created "2016-06-24" @default.
- W1998378110 creator A5036035088 @default.
- W1998378110 creator A5069919176 @default.
- W1998378110 date "1998-08-01" @default.
- W1998378110 modified "2023-09-27" @default.
- W1998378110 title "Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing" @default.
- W1998378110 cites W143756819 @default.
- W1998378110 cites W1503973138 @default.
- W1998378110 cites W1551630805 @default.
- W1998378110 cites W1571962375 @default.
- W1998378110 cites W1774705444 @default.
- W1998378110 cites W1970227944 @default.
- W1998378110 cites W1978375202 @default.
- W1998378110 cites W1997143185 @default.
- W1998378110 cites W1998827035 @default.
- W1998378110 cites W2007270285 @default.
- W1998378110 cites W2011924693 @default.
- W1998378110 cites W2019272371 @default.
- W1998378110 cites W2033100041 @default.
- W1998378110 cites W2036996017 @default.
- W1998378110 cites W2046327127 @default.
- W1998378110 cites W2050942832 @default.
- W1998378110 cites W2062024564 @default.
- W1998378110 cites W2068769696 @default.
- W1998378110 cites W2102549858 @default.
- W1998378110 cites W2111841006 @default.
- W1998378110 cites W2113020196 @default.
- W1998378110 cites W2128932399 @default.
- W1998378110 cites W2136920408 @default.
- W1998378110 cites W2139772363 @default.
- W1998378110 cites W2141568518 @default.
- W1998378110 cites W32773943 @default.
- W1998378110 cites W59270753 @default.
- W1998378110 cites W1970169042 @default.
- W1998378110 doi "https://doi.org/10.1006/inco.1998.2723" @default.
- W1998378110 hasPublicationYear "1998" @default.
- W1998378110 type Work @default.
- W1998378110 sameAs 1998378110 @default.
- W1998378110 citedByCount "9" @default.
- W1998378110 crossrefType "journal-article" @default.
- W1998378110 hasAuthorship W1998378110A5036035088 @default.
- W1998378110 hasAuthorship W1998378110A5069919176 @default.
- W1998378110 hasBestOaLocation W19983781101 @default.
- W1998378110 hasConcept C111472728 @default.
- W1998378110 hasConcept C11413529 @default.
- W1998378110 hasConcept C118615104 @default.
- W1998378110 hasConcept C134306372 @default.
- W1998378110 hasConcept C138885662 @default.
- W1998378110 hasConcept C156325763 @default.
- W1998378110 hasConcept C161771561 @default.
- W1998378110 hasConcept C184337299 @default.
- W1998378110 hasConcept C189950617 @default.
- W1998378110 hasConcept C199360897 @default.
- W1998378110 hasConcept C2333172 @default.
- W1998378110 hasConcept C33923547 @default.
- W1998378110 hasConcept C36503486 @default.
- W1998378110 hasConcept C41008148 @default.
- W1998378110 hasConcept C42383842 @default.
- W1998378110 hasConcept C80444323 @default.
- W1998378110 hasConcept C9376300 @default.
- W1998378110 hasConceptScore W1998378110C111472728 @default.
- W1998378110 hasConceptScore W1998378110C11413529 @default.
- W1998378110 hasConceptScore W1998378110C118615104 @default.
- W1998378110 hasConceptScore W1998378110C134306372 @default.
- W1998378110 hasConceptScore W1998378110C138885662 @default.
- W1998378110 hasConceptScore W1998378110C156325763 @default.
- W1998378110 hasConceptScore W1998378110C161771561 @default.
- W1998378110 hasConceptScore W1998378110C184337299 @default.
- W1998378110 hasConceptScore W1998378110C189950617 @default.
- W1998378110 hasConceptScore W1998378110C199360897 @default.
- W1998378110 hasConceptScore W1998378110C2333172 @default.
- W1998378110 hasConceptScore W1998378110C33923547 @default.
- W1998378110 hasConceptScore W1998378110C36503486 @default.
- W1998378110 hasConceptScore W1998378110C41008148 @default.
- W1998378110 hasConceptScore W1998378110C42383842 @default.
- W1998378110 hasConceptScore W1998378110C80444323 @default.
- W1998378110 hasConceptScore W1998378110C9376300 @default.
- W1998378110 hasIssue "1" @default.
- W1998378110 hasLocation W19983781101 @default.
- W1998378110 hasOpenAccess W1998378110 @default.
- W1998378110 hasPrimaryLocation W19983781101 @default.
- W1998378110 hasRelatedWork W1576648414 @default.
- W1998378110 hasRelatedWork W1587224678 @default.
- W1998378110 hasRelatedWork W1591301196 @default.
- W1998378110 hasRelatedWork W1597178555 @default.
- W1998378110 hasRelatedWork W1855927527 @default.
- W1998378110 hasRelatedWork W1906944391 @default.
- W1998378110 hasRelatedWork W2020116537 @default.
- W1998378110 hasRelatedWork W2039219985 @default.
- W1998378110 hasRelatedWork W2125643165 @default.
- W1998378110 hasRelatedWork W27605384 @default.
- W1998378110 hasVolume "145" @default.
- W1998378110 isParatext "false" @default.
- W1998378110 isRetracted "false" @default.
- W1998378110 magId "1998378110" @default.
- W1998378110 workType "article" @default.