FRINK Linked Data Fragments server

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

• W2509340333 abstract "The aim of this paper is to propose a new method for the static analysis of concurrent software systems. We introduce a new model, a communicating rewriting system (CRS) for the modeling of programs. We show that the reachability problem for this model is undecidable, we reduce this problem to the emptiness problem for the intersection of context-free languages, which is also undecidable. Counter example-guided abstraction refinement (CEGAR) technique is used to deal with this problem. The key idea of our CEGAR algorithm is to over-approximate the intersection by a regular language in the abstraction step, and to compute another regular language from the over-approximation in the refinement step. If the over-approximation is non-empty, we report a bug. We give a procedure to approximate context-free languages using regular languages and we generate bounded languages for a set of counter examples for test membership of the intersection of context-free languages." @default.
• W2509340333 created "2016-09-16" @default.
• W2509340333 creator A5013722824 @default.
• W2509340333 creator A5017463533 @default.
• W2509340333 date "2016-06-01" @default.
• W2509340333 modified "2023-09-26" @default.
• W2509340333 title "Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems" @default.
• W2509340333 cites W1480560681 @default.
• W2509340333 cites W1491036809 @default.
• W2509340333 cites W1560595963 @default.
• W2509340333 cites W1583295953 @default.
• W2509340333 cites W1585404558 @default.
• W2509340333 cites W1589224558 @default.
• W2509340333 cites W1879732467 @default.
• W2509340333 cites W1969454562 @default.
• W2509340333 cites W1979101142 @default.
• W2509340333 cites W1994878611 @default.
• W2509340333 cites W2002089154 @default.
• W2509340333 cites W2039549168 @default.
• W2509340333 cites W2043599013 @default.
• W2509340333 cites W2060345611 @default.
• W2509340333 cites W2082000355 @default.
• W2509340333 cites W2093695603 @default.
• W2509340333 cites W2112919324 @default.
• W2509340333 cites W2126018011 @default.
• W2509340333 cites W2127574686 @default.
• W2509340333 cites W2160520283 @default.
• W2509340333 cites W2295903414 @default.
• W2509340333 cites W2914181030 @default.
• W2509340333 doi "https://doi.org/10.1109/compsac.2016.174" @default.
• W2509340333 hasPublicationYear "2016" @default.
• W2509340333 type Work @default.
• W2509340333 sameAs 2509340333 @default.
• W2509340333 citedByCount "0" @default.
• W2509340333 crossrefType "proceedings-article" @default.
• W2509340333 hasAuthorship W2509340333A5013722824 @default.
• W2509340333 hasAuthorship W2509340333A5017463533 @default.
• W2509340333 hasConcept C110251889 @default.
• W2509340333 hasConcept C111472728 @default.
• W2509340333 hasConcept C112505250 @default.
• W2509340333 hasConcept C124304363 @default.
• W2509340333 hasConcept C127413603 @default.
• W2509340333 hasConcept C134306372 @default.
• W2509340333 hasConcept C136643341 @default.
• W2509340333 hasConcept C138885662 @default.
• W2509340333 hasConcept C146978453 @default.
• W2509340333 hasConcept C151730666 @default.
• W2509340333 hasConcept C153269930 @default.
• W2509340333 hasConcept C154690210 @default.
• W2509340333 hasConcept C154945302 @default.
• W2509340333 hasConcept C192034797 @default.
• W2509340333 hasConcept C198838072 @default.
• W2509340333 hasConcept C199360897 @default.
• W2509340333 hasConcept C2777669093 @default.
• W2509340333 hasConcept C2779343474 @default.
• W2509340333 hasConcept C33923547 @default.
• W2509340333 hasConcept C34388435 @default.
• W2509340333 hasConcept C41008148 @default.
• W2509340333 hasConcept C52370388 @default.
• W2509340333 hasConcept C53893814 @default.
• W2509340333 hasConcept C64543145 @default.
• W2509340333 hasConcept C80444323 @default.
• W2509340333 hasConcept C86803240 @default.
• W2509340333 hasConceptScore W2509340333C110251889 @default.
• W2509340333 hasConceptScore W2509340333C111472728 @default.
• W2509340333 hasConceptScore W2509340333C112505250 @default.
• W2509340333 hasConceptScore W2509340333C124304363 @default.
• W2509340333 hasConceptScore W2509340333C127413603 @default.
• W2509340333 hasConceptScore W2509340333C134306372 @default.
• W2509340333 hasConceptScore W2509340333C136643341 @default.
• W2509340333 hasConceptScore W2509340333C138885662 @default.
• W2509340333 hasConceptScore W2509340333C146978453 @default.
• W2509340333 hasConceptScore W2509340333C151730666 @default.
• W2509340333 hasConceptScore W2509340333C153269930 @default.
• W2509340333 hasConceptScore W2509340333C154690210 @default.
• W2509340333 hasConceptScore W2509340333C154945302 @default.
• W2509340333 hasConceptScore W2509340333C192034797 @default.
• W2509340333 hasConceptScore W2509340333C198838072 @default.
• W2509340333 hasConceptScore W2509340333C199360897 @default.
• W2509340333 hasConceptScore W2509340333C2777669093 @default.
• W2509340333 hasConceptScore W2509340333C2779343474 @default.
• W2509340333 hasConceptScore W2509340333C33923547 @default.
• W2509340333 hasConceptScore W2509340333C34388435 @default.
• W2509340333 hasConceptScore W2509340333C41008148 @default.
• W2509340333 hasConceptScore W2509340333C52370388 @default.
• W2509340333 hasConceptScore W2509340333C53893814 @default.
• W2509340333 hasConceptScore W2509340333C64543145 @default.
• W2509340333 hasConceptScore W2509340333C80444323 @default.
• W2509340333 hasConceptScore W2509340333C86803240 @default.
• W2509340333 hasLocation W25093403331 @default.
• W2509340333 hasOpenAccess W2509340333 @default.
• W2509340333 hasPrimaryLocation W25093403331 @default.
• W2509340333 hasRelatedWork W1480105416 @default.
• W2509340333 hasRelatedWork W1480372382 @default.
• W2509340333 hasRelatedWork W1496424806 @default.
• W2509340333 hasRelatedWork W1501346358 @default.
• W2509340333 hasRelatedWork W1516288898 @default.
• W2509340333 hasRelatedWork W1531715720 @default.
• W2509340333 hasRelatedWork W1541426137 @default.
• W2509340333 hasRelatedWork W1541745753 @default.

• next