Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497457498> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1497457498 abstract "The Concurrent Constraint Programming paradigm has been the subject of growing interest as the focus of a new paradigm for concurrent computation. Like logic programming it claims close relations to logic. In fact these languages are logics in a certain sense that we make precise. In recent work it was shown that the denotational semantics of determinate concurrent constraint programming languages forms a categorical structure called a hyperdoctrine which is used as the basis of the categorical formulation of first order logic. What this connection shows is the combinators of determinate concurrent constraint programming can be viewed as logical connectives. In the present work we extend these ideas to the operational semantics of these languages and thus make available similar analogies for the indeterminate concurrent constraint programming languages. We also describe a linear extension of concurrent constraint programming and discuss hyperdoctrines for such languages. The discussion concludes with an examination of the prospects for understanding other formalisms for concurrent computation in the same way. One need never have heard of a hyperdoctrine in order to follow the talk." @default.
- W1497457498 created "2016-06-24" @default.
- W1497457498 creator A5068822568 @default.
- W1497457498 date "1994-01-01" @default.
- W1497457498 modified "2023-09-25" @default.
- W1497457498 title "The Logical Structure of Concurrent Constraint Programming Languages (Abstract)" @default.
- W1497457498 doi "https://doi.org/10.1007/978-3-540-48654-1_11" @default.
- W1497457498 hasPublicationYear "1994" @default.
- W1497457498 type Work @default.
- W1497457498 sameAs 1497457498 @default.
- W1497457498 citedByCount "0" @default.
- W1497457498 crossrefType "book-chapter" @default.
- W1497457498 hasAuthorship W1497457498A5068822568 @default.
- W1497457498 hasConcept C105795698 @default.
- W1497457498 hasConcept C128838566 @default.
- W1497457498 hasConcept C137631369 @default.
- W1497457498 hasConcept C146206909 @default.
- W1497457498 hasConcept C154945302 @default.
- W1497457498 hasConcept C156325763 @default.
- W1497457498 hasConcept C171018156 @default.
- W1497457498 hasConcept C173404611 @default.
- W1497457498 hasConcept C176783269 @default.
- W1497457498 hasConcept C184337299 @default.
- W1497457498 hasConcept C199305712 @default.
- W1497457498 hasConcept C199360897 @default.
- W1497457498 hasConcept C204306468 @default.
- W1497457498 hasConcept C207648694 @default.
- W1497457498 hasConcept C2524010 @default.
- W1497457498 hasConcept C28077239 @default.
- W1497457498 hasConcept C33923547 @default.
- W1497457498 hasConcept C34165917 @default.
- W1497457498 hasConcept C41008148 @default.
- W1497457498 hasConcept C44616089 @default.
- W1497457498 hasConcept C49937458 @default.
- W1497457498 hasConcept C50033165 @default.
- W1497457498 hasConcept C79678938 @default.
- W1497457498 hasConcept C80444323 @default.
- W1497457498 hasConcept C96315309 @default.
- W1497457498 hasConceptScore W1497457498C105795698 @default.
- W1497457498 hasConceptScore W1497457498C128838566 @default.
- W1497457498 hasConceptScore W1497457498C137631369 @default.
- W1497457498 hasConceptScore W1497457498C146206909 @default.
- W1497457498 hasConceptScore W1497457498C154945302 @default.
- W1497457498 hasConceptScore W1497457498C156325763 @default.
- W1497457498 hasConceptScore W1497457498C171018156 @default.
- W1497457498 hasConceptScore W1497457498C173404611 @default.
- W1497457498 hasConceptScore W1497457498C176783269 @default.
- W1497457498 hasConceptScore W1497457498C184337299 @default.
- W1497457498 hasConceptScore W1497457498C199305712 @default.
- W1497457498 hasConceptScore W1497457498C199360897 @default.
- W1497457498 hasConceptScore W1497457498C204306468 @default.
- W1497457498 hasConceptScore W1497457498C207648694 @default.
- W1497457498 hasConceptScore W1497457498C2524010 @default.
- W1497457498 hasConceptScore W1497457498C28077239 @default.
- W1497457498 hasConceptScore W1497457498C33923547 @default.
- W1497457498 hasConceptScore W1497457498C34165917 @default.
- W1497457498 hasConceptScore W1497457498C41008148 @default.
- W1497457498 hasConceptScore W1497457498C44616089 @default.
- W1497457498 hasConceptScore W1497457498C49937458 @default.
- W1497457498 hasConceptScore W1497457498C50033165 @default.
- W1497457498 hasConceptScore W1497457498C79678938 @default.
- W1497457498 hasConceptScore W1497457498C80444323 @default.
- W1497457498 hasConceptScore W1497457498C96315309 @default.
- W1497457498 hasLocation W14974574981 @default.
- W1497457498 hasOpenAccess W1497457498 @default.
- W1497457498 hasPrimaryLocation W14974574981 @default.
- W1497457498 hasRelatedWork W1006217711 @default.
- W1497457498 hasRelatedWork W107040879 @default.
- W1497457498 hasRelatedWork W1468742577 @default.
- W1497457498 hasRelatedWork W147850248 @default.
- W1497457498 hasRelatedWork W1502855507 @default.
- W1497457498 hasRelatedWork W1541987558 @default.
- W1497457498 hasRelatedWork W1544066577 @default.
- W1497457498 hasRelatedWork W1561664582 @default.
- W1497457498 hasRelatedWork W1570730663 @default.
- W1497457498 hasRelatedWork W1578725873 @default.
- W1497457498 hasRelatedWork W1639901403 @default.
- W1497457498 hasRelatedWork W1696142211 @default.
- W1497457498 hasRelatedWork W1898865569 @default.
- W1497457498 hasRelatedWork W2022951178 @default.
- W1497457498 hasRelatedWork W2123396057 @default.
- W1497457498 hasRelatedWork W2139765668 @default.
- W1497457498 hasRelatedWork W2902695556 @default.
- W1497457498 hasRelatedWork W3104255688 @default.
- W1497457498 hasRelatedWork W3196415809 @default.
- W1497457498 hasRelatedWork W2601744108 @default.
- W1497457498 isParatext "false" @default.
- W1497457498 isRetracted "false" @default.
- W1497457498 magId "1497457498" @default.
- W1497457498 workType "book-chapter" @default.