FRINK Linked Data Fragments server

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

• W131945900 abstract "Additivity plays a key role in program analysis. It is the basis for designing Galois connection based abstract interpretations, it makes a Data-Flow Analysis (DFA) problem easy being convertible into a Kildall’s general form, and provides a lattice-theoretic model for disjunctive analysis. In this paper we consider reversible transformers respectively making any monotone function additive and maximally non-additive. We show that, under non restrictive hypothesis, these transformers exist and that they provide a theoretical foundation for the obfuscation of DFA." @default.
• W131945900 created "2016-06-24" @default.
• W131945900 creator A5005097571 @default.
• W131945900 creator A5005632682 @default.
• W131945900 creator A5011068106 @default.
• W131945900 creator A5052881133 @default.
• W131945900 creator A5090940250 @default.
• W131945900 date "2012-01-01" @default.
• W131945900 modified "2023-09-26" @default.
• W131945900 title "Twisting Additivity in Program Obfuscation" @default.
• W131945900 cites W1526619182 @default.
• W131945900 cites W1582269801 @default.
• W131945900 cites W1726736548 @default.
• W131945900 cites W1755167160 @default.
• W131945900 cites W1987243149 @default.
• W131945900 cites W1993747367 @default.
• W131945900 cites W1997456729 @default.
• W131945900 cites W2014764321 @default.
• W131945900 cites W2025339139 @default.
• W131945900 cites W2043100293 @default.
• W131945900 cites W2043541593 @default.
• W131945900 cites W2055211179 @default.
• W131945900 cites W2084875723 @default.
• W131945900 cites W2093397547 @default.
• W131945900 cites W2102550998 @default.
• W131945900 cites W2126851641 @default.
• W131945900 cites W2132661148 @default.
• W131945900 cites W2247189409 @default.
• W131945900 cites W3142305163 @default.
• W131945900 cites W1547471475 @default.
• W131945900 doi "https://doi.org/10.1007/978-3-642-29166-1_30" @default.
• W131945900 hasPublicationYear "2012" @default.
• W131945900 type Work @default.
• W131945900 sameAs 131945900 @default.
• W131945900 citedByCount "0" @default.
• W131945900 crossrefType "book-chapter" @default.
• W131945900 hasAuthorship W131945900A5005097571 @default.
• W131945900 hasAuthorship W131945900A5005632682 @default.
• W131945900 hasAuthorship W131945900A5011068106 @default.
• W131945900 hasAuthorship W131945900A5052881133 @default.
• W131945900 hasAuthorship W131945900A5090940250 @default.
• W131945900 hasConcept C102487863 @default.
• W131945900 hasConcept C11413529 @default.
• W131945900 hasConcept C121332964 @default.
• W131945900 hasConcept C134306372 @default.
• W131945900 hasConcept C158465420 @default.
• W131945900 hasConcept C165801399 @default.
• W131945900 hasConcept C187455244 @default.
• W131945900 hasConcept C2524010 @default.
• W131945900 hasConcept C2834757 @default.
• W131945900 hasConcept C33923547 @default.
• W131945900 hasConcept C38652104 @default.
• W131945900 hasConcept C38803922 @default.
• W131945900 hasConcept C40305131 @default.
• W131945900 hasConcept C41008148 @default.
• W131945900 hasConcept C62520636 @default.
• W131945900 hasConcept C66322947 @default.
• W131945900 hasConcept C80444323 @default.
• W131945900 hasConceptScore W131945900C102487863 @default.
• W131945900 hasConceptScore W131945900C11413529 @default.
• W131945900 hasConceptScore W131945900C121332964 @default.
• W131945900 hasConceptScore W131945900C134306372 @default.
• W131945900 hasConceptScore W131945900C158465420 @default.
• W131945900 hasConceptScore W131945900C165801399 @default.
• W131945900 hasConceptScore W131945900C187455244 @default.
• W131945900 hasConceptScore W131945900C2524010 @default.
• W131945900 hasConceptScore W131945900C2834757 @default.
• W131945900 hasConceptScore W131945900C33923547 @default.
• W131945900 hasConceptScore W131945900C38652104 @default.
• W131945900 hasConceptScore W131945900C38803922 @default.
• W131945900 hasConceptScore W131945900C40305131 @default.
• W131945900 hasConceptScore W131945900C41008148 @default.
• W131945900 hasConceptScore W131945900C62520636 @default.
• W131945900 hasConceptScore W131945900C66322947 @default.
• W131945900 hasConceptScore W131945900C80444323 @default.
• W131945900 hasLocation W1319459001 @default.
• W131945900 hasOpenAccess W131945900 @default.
• W131945900 hasPrimaryLocation W1319459001 @default.
• W131945900 hasRelatedWork W1529673590 @default.
• W131945900 hasRelatedWork W1546878666 @default.
• W131945900 hasRelatedWork W1596723206 @default.
• W131945900 hasRelatedWork W1994179113 @default.
• W131945900 hasRelatedWork W2045750726 @default.
• W131945900 hasRelatedWork W207722629 @default.
• W131945900 hasRelatedWork W2080751405 @default.
• W131945900 hasRelatedWork W2088096459 @default.
• W131945900 hasRelatedWork W2135905640 @default.
• W131945900 hasRelatedWork W2228964661 @default.
• W131945900 hasRelatedWork W2281752977 @default.
• W131945900 hasRelatedWork W2295961883 @default.
• W131945900 hasRelatedWork W2592309220 @default.
• W131945900 hasRelatedWork W2601109700 @default.
• W131945900 hasRelatedWork W2911798367 @default.
• W131945900 hasRelatedWork W2914272084 @default.
• W131945900 hasRelatedWork W2999111365 @default.
• W131945900 hasRelatedWork W3189389740 @default.
• W131945900 hasRelatedWork W3194642185 @default.
• W131945900 hasRelatedWork W2464475647 @default.
• W131945900 isParatext "false" @default.
• W131945900 isRetracted "false" @default.

• next