Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023968070> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3023968070 endingPage "73" @default.
- W3023968070 startingPage "62" @default.
- W3023968070 abstract "We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow problems for this model are undecidable, because the emptiness problem for the intersection of context-free languages, which is undecidable, can be reduced to them. In this paper we propose an algebraic framework for defining abstractions (upper approximations) of context-free languages. We consider two classes of abstractions: finite-chain abstractions, which are abstractions whose domains do not contain any infinite chains, and commutative abstractions corresponding to classes of languages that contain a word if and only if they contain all its permutations. We show how to compute such approximations by combining automata theoretic techniques with algorithms for solving systems of polynomial inequations in Kleene algebras." @default.
- W3023968070 created "2020-05-13" @default.
- W3023968070 creator A5023001625 @default.
- W3023968070 creator A5058956533 @default.
- W3023968070 creator A5090378914 @default.
- W3023968070 date "2003-01-15" @default.
- W3023968070 modified "2023-10-18" @default.
- W3023968070 title "A generic approach to the static analysis of concurrent programs with procedures" @default.
- W3023968070 cites W1969454562 @default.
- W3023968070 cites W1984909114 @default.
- W3023968070 cites W1994878611 @default.
- W3023968070 cites W2039549168 @default.
- W3023968070 cites W2060345611 @default.
- W3023968070 cites W2147248565 @default.
- W3023968070 cites W2720631021 @default.
- W3023968070 cites W3033386533 @default.
- W3023968070 doi "https://doi.org/10.1145/640128.604137" @default.
- W3023968070 hasPublicationYear "2003" @default.
- W3023968070 type Work @default.
- W3023968070 sameAs 3023968070 @default.
- W3023968070 citedByCount "17" @default.
- W3023968070 countsByYear W30239680702012 @default.
- W3023968070 countsByYear W30239680702013 @default.
- W3023968070 countsByYear W30239680702015 @default.
- W3023968070 crossrefType "journal-article" @default.
- W3023968070 hasAuthorship W3023968070A5023001625 @default.
- W3023968070 hasAuthorship W3023968070A5058956533 @default.
- W3023968070 hasAuthorship W3023968070A5090378914 @default.
- W3023968070 hasConcept C112505250 @default.
- W3023968070 hasConcept C118615104 @default.
- W3023968070 hasConcept C127413603 @default.
- W3023968070 hasConcept C136643341 @default.
- W3023968070 hasConcept C146978453 @default.
- W3023968070 hasConcept C151730666 @default.
- W3023968070 hasConcept C153269930 @default.
- W3023968070 hasConcept C154945302 @default.
- W3023968070 hasConcept C183778304 @default.
- W3023968070 hasConcept C192034797 @default.
- W3023968070 hasConcept C198838072 @default.
- W3023968070 hasConcept C199360897 @default.
- W3023968070 hasConcept C2779343474 @default.
- W3023968070 hasConcept C33923547 @default.
- W3023968070 hasConcept C41008148 @default.
- W3023968070 hasConcept C53893814 @default.
- W3023968070 hasConcept C64543145 @default.
- W3023968070 hasConcept C80444323 @default.
- W3023968070 hasConcept C86803240 @default.
- W3023968070 hasConcept C96324660 @default.
- W3023968070 hasConcept C97686452 @default.
- W3023968070 hasConcept C98183937 @default.
- W3023968070 hasConceptScore W3023968070C112505250 @default.
- W3023968070 hasConceptScore W3023968070C118615104 @default.
- W3023968070 hasConceptScore W3023968070C127413603 @default.
- W3023968070 hasConceptScore W3023968070C136643341 @default.
- W3023968070 hasConceptScore W3023968070C146978453 @default.
- W3023968070 hasConceptScore W3023968070C151730666 @default.
- W3023968070 hasConceptScore W3023968070C153269930 @default.
- W3023968070 hasConceptScore W3023968070C154945302 @default.
- W3023968070 hasConceptScore W3023968070C183778304 @default.
- W3023968070 hasConceptScore W3023968070C192034797 @default.
- W3023968070 hasConceptScore W3023968070C198838072 @default.
- W3023968070 hasConceptScore W3023968070C199360897 @default.
- W3023968070 hasConceptScore W3023968070C2779343474 @default.
- W3023968070 hasConceptScore W3023968070C33923547 @default.
- W3023968070 hasConceptScore W3023968070C41008148 @default.
- W3023968070 hasConceptScore W3023968070C53893814 @default.
- W3023968070 hasConceptScore W3023968070C64543145 @default.
- W3023968070 hasConceptScore W3023968070C80444323 @default.
- W3023968070 hasConceptScore W3023968070C86803240 @default.
- W3023968070 hasConceptScore W3023968070C96324660 @default.
- W3023968070 hasConceptScore W3023968070C97686452 @default.
- W3023968070 hasConceptScore W3023968070C98183937 @default.
- W3023968070 hasIssue "1" @default.
- W3023968070 hasLocation W30239680701 @default.
- W3023968070 hasOpenAccess W3023968070 @default.
- W3023968070 hasPrimaryLocation W30239680701 @default.
- W3023968070 hasRelatedWork W1563786920 @default.
- W3023968070 hasRelatedWork W1764876581 @default.
- W3023968070 hasRelatedWork W1903063254 @default.
- W3023968070 hasRelatedWork W2047831585 @default.
- W3023968070 hasRelatedWork W2160827412 @default.
- W3023968070 hasRelatedWork W2617458767 @default.
- W3023968070 hasRelatedWork W2765111002 @default.
- W3023968070 hasRelatedWork W4253760428 @default.
- W3023968070 hasRelatedWork W1507914724 @default.
- W3023968070 hasRelatedWork W3140956161 @default.
- W3023968070 hasVolume "38" @default.
- W3023968070 isParatext "false" @default.
- W3023968070 isRetracted "false" @default.
- W3023968070 magId "3023968070" @default.
- W3023968070 workType "article" @default.