Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036692211> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2036692211 abstract "In this paper, we propose a way of assigning static type information to unmarshalling functions and we describe a verification technique for unmarshalled data that preserves the execution safety provided by static type checking. This technique, whose correctness is proven, relies on singleton types whose values are transmitted to unmarshalling routines at runtime, and on an efficient checking algorithm able to deal with sharing and cycles." @default.
- W2036692211 created "2016-06-24" @default.
- W2036692211 creator A5007537498 @default.
- W2036692211 creator A5041292816 @default.
- W2036692211 creator A5055023155 @default.
- W2036692211 date "2007-12-15" @default.
- W2036692211 modified "2023-09-23" @default.
- W2036692211 title "Typer la désérialisation sans sérialiser les types" @default.
- W2036692211 cites W2045255985 @default.
- W2036692211 cites W2058821858 @default.
- W2036692211 cites W2069037543 @default.
- W2036692211 cites W2281942478 @default.
- W2036692211 doi "https://doi.org/10.3166/tsi.26.1067-1090" @default.
- W2036692211 hasPublicationYear "2007" @default.
- W2036692211 type Work @default.
- W2036692211 sameAs 2036692211 @default.
- W2036692211 citedByCount "2" @default.
- W2036692211 crossrefType "journal-article" @default.
- W2036692211 hasAuthorship W2036692211A5007537498 @default.
- W2036692211 hasAuthorship W2036692211A5041292816 @default.
- W2036692211 hasAuthorship W2036692211A5055023155 @default.
- W2036692211 hasBestOaLocation W20366922112 @default.
- W2036692211 hasConcept C110251889 @default.
- W2036692211 hasConcept C11413529 @default.
- W2036692211 hasConcept C117354338 @default.
- W2036692211 hasConcept C138958017 @default.
- W2036692211 hasConcept C162319229 @default.
- W2036692211 hasConcept C18903297 @default.
- W2036692211 hasConcept C199360897 @default.
- W2036692211 hasConcept C2777299769 @default.
- W2036692211 hasConcept C2779234561 @default.
- W2036692211 hasConcept C41008148 @default.
- W2036692211 hasConcept C54355233 @default.
- W2036692211 hasConcept C55439883 @default.
- W2036692211 hasConcept C80444323 @default.
- W2036692211 hasConcept C86803240 @default.
- W2036692211 hasConcept C97686452 @default.
- W2036692211 hasConceptScore W2036692211C110251889 @default.
- W2036692211 hasConceptScore W2036692211C11413529 @default.
- W2036692211 hasConceptScore W2036692211C117354338 @default.
- W2036692211 hasConceptScore W2036692211C138958017 @default.
- W2036692211 hasConceptScore W2036692211C162319229 @default.
- W2036692211 hasConceptScore W2036692211C18903297 @default.
- W2036692211 hasConceptScore W2036692211C199360897 @default.
- W2036692211 hasConceptScore W2036692211C2777299769 @default.
- W2036692211 hasConceptScore W2036692211C2779234561 @default.
- W2036692211 hasConceptScore W2036692211C41008148 @default.
- W2036692211 hasConceptScore W2036692211C54355233 @default.
- W2036692211 hasConceptScore W2036692211C55439883 @default.
- W2036692211 hasConceptScore W2036692211C80444323 @default.
- W2036692211 hasConceptScore W2036692211C86803240 @default.
- W2036692211 hasConceptScore W2036692211C97686452 @default.
- W2036692211 hasLocation W20366922111 @default.
- W2036692211 hasLocation W20366922112 @default.
- W2036692211 hasLocation W20366922113 @default.
- W2036692211 hasLocation W20366922114 @default.
- W2036692211 hasLocation W20366922115 @default.
- W2036692211 hasOpenAccess W2036692211 @default.
- W2036692211 hasPrimaryLocation W20366922111 @default.
- W2036692211 hasRelatedWork W1596801655 @default.
- W2036692211 hasRelatedWork W1972437902 @default.
- W2036692211 hasRelatedWork W2358668433 @default.
- W2036692211 hasRelatedWork W2373011076 @default.
- W2036692211 hasRelatedWork W2376932109 @default.
- W2036692211 hasRelatedWork W2387147530 @default.
- W2036692211 hasRelatedWork W2390279801 @default.
- W2036692211 hasRelatedWork W2748952813 @default.
- W2036692211 hasRelatedWork W2899084033 @default.
- W2036692211 hasRelatedWork W3107474891 @default.
- W2036692211 isParatext "false" @default.
- W2036692211 isRetracted "false" @default.
- W2036692211 magId "2036692211" @default.
- W2036692211 workType "article" @default.