FRINK Linked Data Fragments server

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

• W2785697622 abstract "A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the task of writing concurrent code, an unsystematic use of them can lead to subtle problems. This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc). We represent APs as constraints (i.e., formulas in logic) in an underlying constraint system whose entailment relation models the transformation rules of APs. Moreover, we use processes in lcc to model the dependencies imposed by APs, thus allowing the faithful representation of their flow in the program. We verify relevant properties about AP programs by taking advantage of the interpretation of lcc processes as formulas in Girard's intuitionistic linear logic (ILL). Properties include deadlock detection, program correctness (whether programs adhere to their AP specifications or not), and the ability of methods to run concurrently. By relying on a focusing discipline for ILL, we provide a complexity measure for proofs of the above mentioned properties. The effectiveness of our verification techniques is demonstrated by implementing the Alcove tool that includes an animator and a verifier. The former executes the lcc model, observing the flow of APs and quickly finding inconsistencies of the APs vis-a-vis the implementation. The latter is an automatic theorem prover based on ILL. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP)." @default.
• W2785697622 created "2018-02-23" @default.
• W2785697622 creator A5009045679 @default.
• W2785697622 creator A5021897565 @default.
• W2785697622 creator A5047180960 @default.
• W2785697622 date "2018-02-13" @default.
• W2785697622 modified "2023-09-23" @default.
• W2785697622 title "A Concurrent Constraint Programming Interpretation of Access Permissions" @default.
• W2785697622 cites W150412037 @default.
• W2785697622 cites W1861989620 @default.
• W2785697622 cites W1971486022 @default.
• W2785697622 cites W1974828145 @default.
• W2785697622 cites W1975923086 @default.
• W2785697622 cites W1981858010 @default.
• W2785697622 cites W1989293671 @default.
• W2785697622 cites W2015979616 @default.
• W2785697622 cites W2020916002 @default.
• W2785697622 cites W2021289373 @default.
• W2785697622 cites W2042694844 @default.
• W2785697622 cites W2070324762 @default.
• W2785697622 cites W2074225271 @default.
• W2785697622 cites W2086160027 @default.
• W2785697622 cites W2091712774 @default.
• W2785697622 cites W2094694891 @default.
• W2785697622 cites W2119170644 @default.
• W2785697622 cites W2138051462 @default.
• W2785697622 cites W2145403197 @default.
• W2785697622 cites W2146171488 @default.
• W2785697622 cites W2157476517 @default.
• W2785697622 cites W2163664272 @default.
• W2785697622 cites W2164297069 @default.
• W2785697622 cites W2523540408 @default.
• W2785697622 cites W2911865844 @default.
• W2785697622 cites W2963666856 @default.
• W2785697622 cites W3100709767 @default.
• W2785697622 cites W46734479 @default.
• W2785697622 cites W2142423074 @default.
• W2785697622 hasPublicationYear "2018" @default.
• W2785697622 type Work @default.
• W2785697622 sameAs 2785697622 @default.
• W2785697622 citedByCount "0" @default.
• W2785697622 crossrefType "posted-content" @default.
• W2785697622 hasAuthorship W2785697622A5009045679 @default.
• W2785697622 hasAuthorship W2785697622A5021897565 @default.
• W2785697622 hasAuthorship W2785697622A5047180960 @default.
• W2785697622 hasConcept C105795698 @default.
• W2785697622 hasConcept C108710211 @default.
• W2785697622 hasConcept C137631369 @default.
• W2785697622 hasConcept C142724271 @default.
• W2785697622 hasConcept C159718280 @default.
• W2785697622 hasConcept C173404611 @default.
• W2785697622 hasConcept C199360897 @default.
• W2785697622 hasConcept C204787440 @default.
• W2785697622 hasConcept C2524010 @default.
• W2785697622 hasConcept C2776036281 @default.
• W2785697622 hasConcept C2780385302 @default.
• W2785697622 hasConcept C2780654840 @default.
• W2785697622 hasConcept C33923547 @default.
• W2785697622 hasConcept C41008148 @default.
• W2785697622 hasConcept C527412718 @default.
• W2785697622 hasConcept C55439883 @default.
• W2785697622 hasConcept C71924100 @default.
• W2785697622 hasConcept C80444323 @default.
• W2785697622 hasConceptScore W2785697622C105795698 @default.
• W2785697622 hasConceptScore W2785697622C108710211 @default.
• W2785697622 hasConceptScore W2785697622C137631369 @default.
• W2785697622 hasConceptScore W2785697622C142724271 @default.
• W2785697622 hasConceptScore W2785697622C159718280 @default.
• W2785697622 hasConceptScore W2785697622C173404611 @default.
• W2785697622 hasConceptScore W2785697622C199360897 @default.
• W2785697622 hasConceptScore W2785697622C204787440 @default.
• W2785697622 hasConceptScore W2785697622C2524010 @default.
• W2785697622 hasConceptScore W2785697622C2776036281 @default.
• W2785697622 hasConceptScore W2785697622C2780385302 @default.
• W2785697622 hasConceptScore W2785697622C2780654840 @default.
• W2785697622 hasConceptScore W2785697622C33923547 @default.
• W2785697622 hasConceptScore W2785697622C41008148 @default.
• W2785697622 hasConceptScore W2785697622C527412718 @default.
• W2785697622 hasConceptScore W2785697622C55439883 @default.
• W2785697622 hasConceptScore W2785697622C71924100 @default.
• W2785697622 hasConceptScore W2785697622C80444323 @default.
• W2785697622 hasLocation W27856976221 @default.
• W2785697622 hasOpenAccess W2785697622 @default.
• W2785697622 hasPrimaryLocation W27856976221 @default.
• W2785697622 hasRelatedWork W1517417277 @default.
• W2785697622 hasRelatedWork W1526731428 @default.
• W2785697622 hasRelatedWork W1532248060 @default.
• W2785697622 hasRelatedWork W1588322402 @default.
• W2785697622 hasRelatedWork W1974583144 @default.
• W2785697622 hasRelatedWork W2044951665 @default.
• W2785697622 hasRelatedWork W2059196002 @default.
• W2785697622 hasRelatedWork W2074285438 @default.
• W2785697622 hasRelatedWork W2155062053 @default.
• W2785697622 hasRelatedWork W2479043920 @default.
• W2785697622 hasRelatedWork W2526821177 @default.
• W2785697622 hasRelatedWork W2600478067 @default.
• W2785697622 hasRelatedWork W2730816057 @default.
• W2785697622 hasRelatedWork W2749943653 @default.
• W2785697622 hasRelatedWork W2949479322 @default.
• W2785697622 hasRelatedWork W2950335459 @default.

• next