Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081431431> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2081431431 endingPage "582" @default.
- W2081431431 startingPage "551" @default.
- W2081431431 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.
- W2081431431 created "2016-06-24" @default.
- W2081431431 creator A5044579457 @default.
- W2081431431 creator A5045477471 @default.
- W2081431431 creator A5090378914 @default.
- W2081431431 date "2003-08-01" @default.
- W2081431431 modified "2023-10-02" @default.
- W2081431431 title "A Generic Approach to the Static Analysis of Concurrent Programs with Procedures" @default.
- W2081431431 doi "https://doi.org/10.1142/s0129054103001893" @default.
- W2081431431 hasPublicationYear "2003" @default.
- W2081431431 type Work @default.
- W2081431431 sameAs 2081431431 @default.
- W2081431431 citedByCount "23" @default.
- W2081431431 countsByYear W20814314312012 @default.
- W2081431431 countsByYear W20814314312013 @default.
- W2081431431 countsByYear W20814314312014 @default.
- W2081431431 countsByYear W20814314312015 @default.
- W2081431431 countsByYear W20814314312016 @default.
- W2081431431 countsByYear W20814314312018 @default.
- W2081431431 countsByYear W20814314312019 @default.
- W2081431431 countsByYear W20814314312023 @default.
- W2081431431 crossrefType "journal-article" @default.
- W2081431431 hasAuthorship W2081431431A5044579457 @default.
- W2081431431 hasAuthorship W2081431431A5045477471 @default.
- W2081431431 hasAuthorship W2081431431A5090378914 @default.
- W2081431431 hasConcept C112505250 @default.
- W2081431431 hasConcept C118615104 @default.
- W2081431431 hasConcept C127413603 @default.
- W2081431431 hasConcept C136643341 @default.
- W2081431431 hasConcept C146978453 @default.
- W2081431431 hasConcept C151730666 @default.
- W2081431431 hasConcept C153269930 @default.
- W2081431431 hasConcept C154945302 @default.
- W2081431431 hasConcept C183778304 @default.
- W2081431431 hasConcept C192034797 @default.
- W2081431431 hasConcept C198838072 @default.
- W2081431431 hasConcept C199360897 @default.
- W2081431431 hasConcept C2779343474 @default.
- W2081431431 hasConcept C33923547 @default.
- W2081431431 hasConcept C41008148 @default.
- W2081431431 hasConcept C53893814 @default.
- W2081431431 hasConcept C64543145 @default.
- W2081431431 hasConcept C80444323 @default.
- W2081431431 hasConcept C86803240 @default.
- W2081431431 hasConceptScore W2081431431C112505250 @default.
- W2081431431 hasConceptScore W2081431431C118615104 @default.
- W2081431431 hasConceptScore W2081431431C127413603 @default.
- W2081431431 hasConceptScore W2081431431C136643341 @default.
- W2081431431 hasConceptScore W2081431431C146978453 @default.
- W2081431431 hasConceptScore W2081431431C151730666 @default.
- W2081431431 hasConceptScore W2081431431C153269930 @default.
- W2081431431 hasConceptScore W2081431431C154945302 @default.
- W2081431431 hasConceptScore W2081431431C183778304 @default.
- W2081431431 hasConceptScore W2081431431C192034797 @default.
- W2081431431 hasConceptScore W2081431431C198838072 @default.
- W2081431431 hasConceptScore W2081431431C199360897 @default.
- W2081431431 hasConceptScore W2081431431C2779343474 @default.
- W2081431431 hasConceptScore W2081431431C33923547 @default.
- W2081431431 hasConceptScore W2081431431C41008148 @default.
- W2081431431 hasConceptScore W2081431431C53893814 @default.
- W2081431431 hasConceptScore W2081431431C64543145 @default.
- W2081431431 hasConceptScore W2081431431C80444323 @default.
- W2081431431 hasConceptScore W2081431431C86803240 @default.
- W2081431431 hasIssue "04" @default.
- W2081431431 hasLocation W20814314311 @default.
- W2081431431 hasLocation W20814314312 @default.
- W2081431431 hasLocation W20814314313 @default.
- W2081431431 hasLocation W20814314314 @default.
- W2081431431 hasLocation W20814314315 @default.
- W2081431431 hasOpenAccess W2081431431 @default.
- W2081431431 hasPrimaryLocation W20814314311 @default.
- W2081431431 hasRelatedWork W1563786920 @default.
- W2081431431 hasRelatedWork W1567962086 @default.
- W2081431431 hasRelatedWork W1764876581 @default.
- W2081431431 hasRelatedWork W2047831585 @default.
- W2081431431 hasRelatedWork W2160827412 @default.
- W2081431431 hasRelatedWork W2765111002 @default.
- W2081431431 hasRelatedWork W4253760428 @default.
- W2081431431 hasRelatedWork W4299446758 @default.
- W2081431431 hasRelatedWork W3023170743 @default.
- W2081431431 hasRelatedWork W3140956161 @default.
- W2081431431 hasVolume "14" @default.
- W2081431431 isParatext "false" @default.
- W2081431431 isRetracted "false" @default.
- W2081431431 magId "2081431431" @default.
- W2081431431 workType "article" @default.