FRINK Linked Data Fragments server

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

• W180382289 abstract "We define an effect system, based upon visibly pushdown languages (VPLs), for a programming language that processes streams of tokens with parenthesis-like matching, as found in XML documents or s-expressions. The effect analysis ensures that programs read and write words in which tokens match, despite the fact that tokens are read and written individually. In particular, the novel treatment of input provides a compositional description of the behaviour of programs with lookahead. We introduce visibly pushdown expressions (VPEs), corresponding to the class of VPLs, as the effects. VPEs generalize regular expression types by incorporating intersection, unmatched tokens, and overlapped concatenation (used in the analysis of operations with lookahead). Hosoya, Vouillon, and Pierce’s decision procedure for language inclusion between regular expression types, via a translation to non-deterministic tree automata, does not apply to VPEs. Instead we obtain a decision procedure via a translation of VPEs to Alur and Madhusudan’s monadic second order logic with matching relation MSOμ." @default.
• W180382289 created "2016-06-24" @default.
• W180382289 creator A5087794979 @default.
• W180382289 date "2004-01-01" @default.
• W180382289 modified "2023-09-27" @default.
• W180382289 title "Visibly Pushdown Expression Effects for XML Stream Processing" @default.
• W180382289 cites W1491178396 @default.
• W180382289 cites W1498393124 @default.
• W180382289 cites W1509342108 @default.
• W180382289 cites W1548569630 @default.
• W180382289 cites W1578881602 @default.
• W180382289 cites W163836217 @default.
• W180382289 cites W167362928 @default.
• W180382289 cites W1699388987 @default.
• W180382289 cites W1749554492 @default.
• W180382289 cites W1784055113 @default.
• W180382289 cites W1941373452 @default.
• W180382289 cites W1965014786 @default.
• W180382289 cites W1966814918 @default.
• W180382289 cites W1987469449 @default.
• W180382289 cites W1991962718 @default.
• W180382289 cites W1995362929 @default.
• W180382289 cites W2011992237 @default.
• W180382289 cites W2048808408 @default.
• W180382289 cites W2059078591 @default.
• W180382289 cites W2066777031 @default.
• W180382289 cites W2078050093 @default.
• W180382289 cites W2129097092 @default.
• W180382289 cites W2135611729 @default.
• W180382289 cites W2151033407 @default.
• W180382289 cites W2157821258 @default.
• W180382289 cites W2169703983 @default.
• W180382289 hasPublicationYear "2004" @default.
• W180382289 type Work @default.
• W180382289 sameAs 180382289 @default.
• W180382289 citedByCount "7" @default.
• W180382289 countsByYear W1803822892012 @default.
• W180382289 countsByYear W1803822892014 @default.
• W180382289 countsByYear W1803822892021 @default.
• W180382289 crossrefType "journal-article" @default.
• W180382289 hasAuthorship W180382289A5087794979 @default.
• W180382289 hasConcept C111919701 @default.
• W180382289 hasConcept C113174947 @default.
• W180382289 hasConcept C121329065 @default.
• W180382289 hasConcept C127413603 @default.
• W180382289 hasConcept C134306372 @default.
• W180382289 hasConcept C146978453 @default.
• W180382289 hasConcept C154945302 @default.
• W180382289 hasConcept C199360897 @default.
• W180382289 hasConcept C204321447 @default.
• W180382289 hasConcept C33923547 @default.
• W180382289 hasConcept C41008148 @default.
• W180382289 hasConcept C64543145 @default.
• W180382289 hasConcept C80444323 @default.
• W180382289 hasConcept C87619178 @default.
• W180382289 hasConcept C8797682 @default.
• W180382289 hasConcept C90559484 @default.
• W180382289 hasConcept C94375191 @default.
• W180382289 hasConceptScore W180382289C111919701 @default.
• W180382289 hasConceptScore W180382289C113174947 @default.
• W180382289 hasConceptScore W180382289C121329065 @default.
• W180382289 hasConceptScore W180382289C127413603 @default.
• W180382289 hasConceptScore W180382289C134306372 @default.
• W180382289 hasConceptScore W180382289C146978453 @default.
• W180382289 hasConceptScore W180382289C154945302 @default.
• W180382289 hasConceptScore W180382289C199360897 @default.
• W180382289 hasConceptScore W180382289C204321447 @default.
• W180382289 hasConceptScore W180382289C33923547 @default.
• W180382289 hasConceptScore W180382289C41008148 @default.
• W180382289 hasConceptScore W180382289C64543145 @default.
• W180382289 hasConceptScore W180382289C80444323 @default.
• W180382289 hasConceptScore W180382289C87619178 @default.
• W180382289 hasConceptScore W180382289C8797682 @default.
• W180382289 hasConceptScore W180382289C90559484 @default.
• W180382289 hasConceptScore W180382289C94375191 @default.
• W180382289 hasLocation W1803822891 @default.
• W180382289 hasOpenAccess W180382289 @default.
• W180382289 hasPrimaryLocation W1803822891 @default.
• W180382289 hasRelatedWork W1491036809 @default.
• W180382289 hasRelatedWork W1492682035 @default.
• W180382289 hasRelatedWork W1556566737 @default.
• W180382289 hasRelatedWork W1589224558 @default.
• W180382289 hasRelatedWork W1725438563 @default.
• W180382289 hasRelatedWork W1769286860 @default.
• W180382289 hasRelatedWork W2002089154 @default.
• W180382289 hasRelatedWork W2047652936 @default.
• W180382289 hasRelatedWork W2049273188 @default.
• W180382289 hasRelatedWork W2083308531 @default.
• W180382289 hasRelatedWork W2099205674 @default.
• W180382289 hasRelatedWork W2102502119 @default.
• W180382289 hasRelatedWork W2108769896 @default.
• W180382289 hasRelatedWork W2115295490 @default.
• W180382289 hasRelatedWork W2123458705 @default.
• W180382289 hasRelatedWork W2137370934 @default.
• W180382289 hasRelatedWork W2151033407 @default.
• W180382289 hasRelatedWork W2563308191 @default.
• W180382289 hasRelatedWork W2619185497 @default.
• W180382289 hasRelatedWork W3021044709 @default.
• W180382289 isParatext "false" @default.
• W180382289 isRetracted "false" @default.

• next