Matches in SemOpenAlex for { <https://semopenalex.org/work/W62903840> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W62903840 endingPage "237" @default.
- W62903840 startingPage "224" @default.
- W62903840 abstract "Checking whether one formal language is included in another is vital to many verification tasks. In this paper, we provide solutions for checking the inclusion of the languages given by visibly pushdown automata over both finite and infinite words. Visibly pushdown automata are a richer automaton model than the classical finite-state automata, which allows one, e.g., to reason about the nesting of procedure calls in the executions of recursive imperative programs. The highlight of our solutions is that they do not comprise automata constructions for determinization and complementation. Instead, our solutions are more direct and generalize the so-called Ramsey-based inclusion-checking algorithms, which apply to classical finite-state automata and proved effective there, to visibly pushdown automata. We also experimentally evaluate our algorithms thereby demonstrating the virtues of avoiding determinization and complementation constructions." @default.
- W62903840 created "2016-06-24" @default.
- W62903840 creator A5016636619 @default.
- W62903840 creator A5044839312 @default.
- W62903840 creator A5087768042 @default.
- W62903840 date "2013-01-01" @default.
- W62903840 modified "2023-10-16" @default.
- W62903840 title "Ramsey Goes Visibly Pushdown" @default.
- W62903840 cites W104223015 @default.
- W62903840 cites W123210929 @default.
- W62903840 cites W1543741569 @default.
- W62903840 cites W1548996544 @default.
- W62903840 cites W1550751956 @default.
- W62903840 cites W1562442213 @default.
- W62903840 cites W1568149704 @default.
- W62903840 cites W1731774687 @default.
- W62903840 cites W1851000371 @default.
- W62903840 cites W2047149602 @default.
- W62903840 cites W2073874233 @default.
- W62903840 cites W2107398710 @default.
- W62903840 cites W2131886132 @default.
- W62903840 cites W2148195254 @default.
- W62903840 cites W2151670874 @default.
- W62903840 cites W4233310630 @default.
- W62903840 cites W4253182982 @default.
- W62903840 cites W62903840 @default.
- W62903840 cites W92114844 @default.
- W62903840 doi "https://doi.org/10.1007/978-3-642-39212-2_22" @default.
- W62903840 hasPublicationYear "2013" @default.
- W62903840 type Work @default.
- W62903840 sameAs 62903840 @default.
- W62903840 citedByCount "7" @default.
- W62903840 countsByYear W629038402013 @default.
- W62903840 countsByYear W629038402015 @default.
- W62903840 countsByYear W629038402023 @default.
- W62903840 crossrefType "book-chapter" @default.
- W62903840 hasAuthorship W62903840A5016636619 @default.
- W62903840 hasAuthorship W62903840A5044839312 @default.
- W62903840 hasAuthorship W62903840A5087768042 @default.
- W62903840 hasBestOaLocation W629038402 @default.
- W62903840 hasConcept C110251889 @default.
- W62903840 hasConcept C112505250 @default.
- W62903840 hasConcept C11413529 @default.
- W62903840 hasConcept C116248031 @default.
- W62903840 hasConcept C118615104 @default.
- W62903840 hasConcept C134083981 @default.
- W62903840 hasConcept C158008952 @default.
- W62903840 hasConcept C167822520 @default.
- W62903840 hasConcept C174327141 @default.
- W62903840 hasConcept C186644900 @default.
- W62903840 hasConcept C199360897 @default.
- W62903840 hasConcept C27034413 @default.
- W62903840 hasConcept C33923547 @default.
- W62903840 hasConcept C41008148 @default.
- W62903840 hasConcept C48103436 @default.
- W62903840 hasConcept C74919329 @default.
- W62903840 hasConcept C77944639 @default.
- W62903840 hasConcept C80444323 @default.
- W62903840 hasConcept C92117001 @default.
- W62903840 hasConcept C97212296 @default.
- W62903840 hasConceptScore W62903840C110251889 @default.
- W62903840 hasConceptScore W62903840C112505250 @default.
- W62903840 hasConceptScore W62903840C11413529 @default.
- W62903840 hasConceptScore W62903840C116248031 @default.
- W62903840 hasConceptScore W62903840C118615104 @default.
- W62903840 hasConceptScore W62903840C134083981 @default.
- W62903840 hasConceptScore W62903840C158008952 @default.
- W62903840 hasConceptScore W62903840C167822520 @default.
- W62903840 hasConceptScore W62903840C174327141 @default.
- W62903840 hasConceptScore W62903840C186644900 @default.
- W62903840 hasConceptScore W62903840C199360897 @default.
- W62903840 hasConceptScore W62903840C27034413 @default.
- W62903840 hasConceptScore W62903840C33923547 @default.
- W62903840 hasConceptScore W62903840C41008148 @default.
- W62903840 hasConceptScore W62903840C48103436 @default.
- W62903840 hasConceptScore W62903840C74919329 @default.
- W62903840 hasConceptScore W62903840C77944639 @default.
- W62903840 hasConceptScore W62903840C80444323 @default.
- W62903840 hasConceptScore W62903840C92117001 @default.
- W62903840 hasConceptScore W62903840C97212296 @default.
- W62903840 hasLocation W629038401 @default.
- W62903840 hasLocation W629038402 @default.
- W62903840 hasOpenAccess W62903840 @default.
- W62903840 hasPrimaryLocation W629038401 @default.
- W62903840 hasRelatedWork W1589224558 @default.
- W62903840 hasRelatedWork W1804899877 @default.
- W62903840 hasRelatedWork W1976426006 @default.
- W62903840 hasRelatedWork W2041168146 @default.
- W62903840 hasRelatedWork W2047588061 @default.
- W62903840 hasRelatedWork W2063384625 @default.
- W62903840 hasRelatedWork W2909968134 @default.
- W62903840 hasRelatedWork W2950941115 @default.
- W62903840 hasRelatedWork W3147158980 @default.
- W62903840 hasRelatedWork W4231088732 @default.
- W62903840 isParatext "false" @default.
- W62903840 isRetracted "false" @default.
- W62903840 magId "62903840" @default.
- W62903840 workType "book-chapter" @default.