FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065605087> ?p ?o ?g. }

• W2065605087 abstract "Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e. systems that continuously interact with the environment. The universal tcc formalism (utcc) is an extension of tcc with the ability to express mobility. Here mobility is understood as communication of private names as typically done for mobile systems and security protocols. In this paper we consider the denotational semantics for tcc, and we extend it to a collecting semantics for utcc based on closure operators over sequences of constraints. Relying on this semantics, we formalize the first general framework for data flow analyses of tcc and utcc programs by abstract interpretation techniques. The concrete and abstract semantics we propose are compositional, thus allowing us to reduce the complexity of data flow analyses. We show that our method is sound and parametric w.r.t. the abstract domain. Thus, different analyses can be performed by instantiating the framework. We illustrate how it is possible to reuse abstract domains previously defined for logic programming, e.g., to perform a groundness analysis for tcc programs. We show the applicability of this analysis in the context of reactive systems. Furthermore, we make also use of the abstract semantics to exhibit a secrecy flaw in a security protocol. We have developed a prototypical implementation of our methodology and we have implemented the abstract domain for security to perform automatically the secrecy analysis." @default.
• W2065605087 created "2016-06-24" @default.
• W2065605087 creator A5047180960 @default.
• W2065605087 creator A5053216941 @default.
• W2065605087 creator A5090842450 @default.
• W2065605087 date "2009-09-07" @default.
• W2065605087 modified "2023-09-25" @default.
• W2065605087 title "A framework for abstract interpretation of timed concurrent constraint programs" @default.
• W2065605087 cites W1491395861 @default.
• W2065605087 cites W1504983647 @default.
• W2065605087 cites W1969900041 @default.
• W2065605087 cites W1981281472 @default.
• W2065605087 cites W1982746231 @default.
• W2065605087 cites W2001788001 @default.
• W2065605087 cites W2006805613 @default.
• W2065605087 cites W2033431741 @default.
• W2065605087 cites W2041090148 @default.
• W2065605087 cites W2057821410 @default.
• W2065605087 cites W2070232768 @default.
• W2065605087 cites W2081810835 @default.
• W2065605087 cites W2081938726 @default.
• W2065605087 cites W2116733130 @default.
• W2065605087 cites W2143082793 @default.
• W2065605087 cites W2145403197 @default.
• W2065605087 cites W2164297069 @default.
• W2065605087 cites W2169097519 @default.
• W2065605087 doi "https://doi.org/10.1145/1599410.1599436" @default.
• W2065605087 hasPublicationYear "2009" @default.
• W2065605087 type Work @default.
• W2065605087 sameAs 2065605087 @default.
• W2065605087 citedByCount "15" @default.
• W2065605087 countsByYear W20656050872012 @default.
• W2065605087 countsByYear W20656050872013 @default.
• W2065605087 countsByYear W20656050872014 @default.
• W2065605087 countsByYear W20656050872018 @default.
• W2065605087 countsByYear W20656050872019 @default.
• W2065605087 countsByYear W20656050872021 @default.
• W2065605087 crossrefType "proceedings-article" @default.
• W2065605087 hasAuthorship W2065605087A5047180960 @default.
• W2065605087 hasAuthorship W2065605087A5053216941 @default.
• W2065605087 hasAuthorship W2065605087A5090842450 @default.
• W2065605087 hasBestOaLocation W20656050872 @default.
• W2065605087 hasConcept C105795698 @default.
• W2065605087 hasConcept C110251889 @default.
• W2065605087 hasConcept C128838566 @default.
• W2065605087 hasConcept C137631369 @default.
• W2065605087 hasConcept C142362112 @default.
• W2065605087 hasConcept C150607116 @default.
• W2065605087 hasConcept C153349607 @default.
• W2065605087 hasConcept C156325763 @default.
• W2065605087 hasConcept C173404611 @default.
• W2065605087 hasConcept C184337299 @default.
• W2065605087 hasConcept C193702766 @default.
• W2065605087 hasConcept C199360897 @default.
• W2065605087 hasConcept C207648694 @default.
• W2065605087 hasConcept C2780654840 @default.
• W2065605087 hasConcept C33923547 @default.
• W2065605087 hasConcept C41008148 @default.
• W2065605087 hasConcept C558565934 @default.
• W2065605087 hasConcept C73301696 @default.
• W2065605087 hasConcept C80444323 @default.
• W2065605087 hasConcept C89497691 @default.
• W2065605087 hasConceptScore W2065605087C105795698 @default.
• W2065605087 hasConceptScore W2065605087C110251889 @default.
• W2065605087 hasConceptScore W2065605087C128838566 @default.
• W2065605087 hasConceptScore W2065605087C137631369 @default.
• W2065605087 hasConceptScore W2065605087C142362112 @default.
• W2065605087 hasConceptScore W2065605087C150607116 @default.
• W2065605087 hasConceptScore W2065605087C153349607 @default.
• W2065605087 hasConceptScore W2065605087C156325763 @default.
• W2065605087 hasConceptScore W2065605087C173404611 @default.
• W2065605087 hasConceptScore W2065605087C184337299 @default.
• W2065605087 hasConceptScore W2065605087C193702766 @default.
• W2065605087 hasConceptScore W2065605087C199360897 @default.
• W2065605087 hasConceptScore W2065605087C207648694 @default.
• W2065605087 hasConceptScore W2065605087C2780654840 @default.
• W2065605087 hasConceptScore W2065605087C33923547 @default.
• W2065605087 hasConceptScore W2065605087C41008148 @default.
• W2065605087 hasConceptScore W2065605087C558565934 @default.
• W2065605087 hasConceptScore W2065605087C73301696 @default.
• W2065605087 hasConceptScore W2065605087C80444323 @default.
• W2065605087 hasConceptScore W2065605087C89497691 @default.
• W2065605087 hasLocation W20656050871 @default.
• W2065605087 hasLocation W20656050872 @default.
• W2065605087 hasLocation W20656050873 @default.
• W2065605087 hasLocation W20656050874 @default.
• W2065605087 hasLocation W20656050875 @default.
• W2065605087 hasOpenAccess W2065605087 @default.
• W2065605087 hasPrimaryLocation W20656050871 @default.
• W2065605087 hasRelatedWork W1558467648 @default.
• W2065605087 hasRelatedWork W2007334542 @default.
• W2065605087 hasRelatedWork W2083686643 @default.
• W2065605087 hasRelatedWork W2125406856 @default.
• W2065605087 hasRelatedWork W2188386601 @default.
• W2065605087 hasRelatedWork W2623701236 @default.
• W2065605087 hasRelatedWork W3129725704 @default.
• W2065605087 hasRelatedWork W75631880 @default.
• W2065605087 hasRelatedWork W2523902456 @default.
• W2065605087 hasRelatedWork W3023595429 @default.
• W2065605087 isParatext "false" @default.

• next