FRINK Linked Data Fragments server

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

• W1534937324 abstract "Type specialization can serve as a powerful tool in enforcing safety properties on foreign code. Using the specification of a monitoring interpreter, polyvariant type specialization can produce compiled code that is guaranteed to obey a specified safety policy. It propagates a security state at compile-time and generates code for each different security state. The resulting code contains virtually no run-time operations on the security state, at the price of some code duplication. A novel extension of type specialization by intersection types limits the amount of code duplication considerably, thus making the approach practical." @default.
• W1534937324 created "2016-06-24" @default.
• W1534937324 creator A5000384936 @default.
• W1534937324 date "2001-01-01" @default.
• W1534937324 modified "2023-09-23" @default.
• W1534937324 title "Enforcing Safety Properties Using Type Specialization" @default.
• W1534937324 cites W1530350023 @default.
• W1534937324 cites W1581442032 @default.
• W1534937324 cites W1588567874 @default.
• W1534937324 cites W1602738123 @default.
• W1534937324 cites W1971710354 @default.
• W1534937324 cites W1981303668 @default.
• W1534937324 cites W1983961326 @default.
• W1534937324 cites W1999336811 @default.
• W1534937324 cites W2006611045 @default.
• W1534937324 cites W2025100827 @default.
• W1534937324 cites W2033065121 @default.
• W1534937324 cites W2034711041 @default.
• W1534937324 cites W2043416466 @default.
• W1534937324 cites W2051632385 @default.
• W1534937324 cites W2079029390 @default.
• W1534937324 cites W2097166325 @default.
• W1534937324 cites W2105033638 @default.
• W1534937324 cites W2124438325 @default.
• W1534937324 cites W2137689716 @default.
• W1534937324 cites W2148127931 @default.
• W1534937324 cites W2150769115 @default.
• W1534937324 cites W2153297607 @default.
• W1534937324 cites W2160829153 @default.
• W1534937324 cites W2293168108 @default.
• W1534937324 cites W3175817815 @default.
• W1534937324 doi "https://doi.org/10.1007/3-540-45309-1_5" @default.
• W1534937324 hasPublicationYear "2001" @default.
• W1534937324 type Work @default.
• W1534937324 sameAs 1534937324 @default.
• W1534937324 citedByCount "12" @default.
• W1534937324 countsByYear W15349373242012 @default.
• W1534937324 crossrefType "book-chapter" @default.
• W1534937324 hasAuthorship W1534937324A5000384936 @default.
• W1534937324 hasBestOaLocation W15349373241 @default.
• W1534937324 hasConcept C127413603 @default.
• W1534937324 hasConcept C133162039 @default.
• W1534937324 hasConcept C146978453 @default.
• W1534937324 hasConcept C169590947 @default.
• W1534937324 hasConcept C177264268 @default.
• W1534937324 hasConcept C18903297 @default.
• W1534937324 hasConcept C199360897 @default.
• W1534937324 hasConcept C200833197 @default.
• W1534937324 hasConcept C26517878 @default.
• W1534937324 hasConcept C2776760102 @default.
• W1534937324 hasConcept C2777299769 @default.
• W1534937324 hasConcept C2778029271 @default.
• W1534937324 hasConcept C38652104 @default.
• W1534937324 hasConcept C41008148 @default.
• W1534937324 hasConcept C48103436 @default.
• W1534937324 hasConcept C64543145 @default.
• W1534937324 hasConcept C86803240 @default.
• W1534937324 hasConceptScore W1534937324C127413603 @default.
• W1534937324 hasConceptScore W1534937324C133162039 @default.
• W1534937324 hasConceptScore W1534937324C146978453 @default.
• W1534937324 hasConceptScore W1534937324C169590947 @default.
• W1534937324 hasConceptScore W1534937324C177264268 @default.
• W1534937324 hasConceptScore W1534937324C18903297 @default.
• W1534937324 hasConceptScore W1534937324C199360897 @default.
• W1534937324 hasConceptScore W1534937324C200833197 @default.
• W1534937324 hasConceptScore W1534937324C26517878 @default.
• W1534937324 hasConceptScore W1534937324C2776760102 @default.
• W1534937324 hasConceptScore W1534937324C2777299769 @default.
• W1534937324 hasConceptScore W1534937324C2778029271 @default.
• W1534937324 hasConceptScore W1534937324C38652104 @default.
• W1534937324 hasConceptScore W1534937324C41008148 @default.
• W1534937324 hasConceptScore W1534937324C48103436 @default.
• W1534937324 hasConceptScore W1534937324C64543145 @default.
• W1534937324 hasConceptScore W1534937324C86803240 @default.
• W1534937324 hasLocation W15349373241 @default.
• W1534937324 hasOpenAccess W1534937324 @default.
• W1534937324 hasPrimaryLocation W15349373241 @default.
• W1534937324 hasRelatedWork W1479733905 @default.
• W1534937324 hasRelatedWork W1504054062 @default.
• W1534937324 hasRelatedWork W1511185761 @default.
• W1534937324 hasRelatedWork W1513224132 @default.
• W1534937324 hasRelatedWork W1553894716 @default.
• W1534937324 hasRelatedWork W1562531996 @default.
• W1534937324 hasRelatedWork W1575544315 @default.
• W1534937324 hasRelatedWork W1658032593 @default.
• W1534937324 hasRelatedWork W1768378500 @default.
• W1534937324 hasRelatedWork W1888344413 @default.
• W1534937324 hasRelatedWork W1980939032 @default.
• W1534937324 hasRelatedWork W2006611045 @default.
• W1534937324 hasRelatedWork W2027099721 @default.
• W1534937324 hasRelatedWork W2034711041 @default.
• W1534937324 hasRelatedWork W2036910349 @default.
• W1534937324 hasRelatedWork W2046970568 @default.
• W1534937324 hasRelatedWork W2105033638 @default.
• W1534937324 hasRelatedWork W2141988808 @default.
• W1534937324 hasRelatedWork W2158942489 @default.
• W1534937324 hasRelatedWork W2160829153 @default.
• W1534937324 isParatext "false" @default.
• W1534937324 isRetracted "false" @default.
• W1534937324 magId "1534937324" @default.

• next