Opaque predicate - PDFSEARCH.IO - Document Search Engine

Opaque predicate
Results: 4

#	Item
1	Control Flow Obfuscation with Information Flow Tracking∗ Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang Parallel Processing Institute Fudan University Add to Reading List Source URL: ipads.se.sjtu.edu.cn Language: English - Date: 2012-01-05 23:24:59 Computing Software engineering Computer programming Compiler construction Control flow Obfuscation Source code Programming language implementation Opaque predicate Control flow graph Data-flow analysis Exception handling
2	Quine on Modal Logic Justin Bledin March 13, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-14 02:21:00 Philosophy of language Opaque context Predicate logic Philosophical logic Function Free variables and bound variables Modal logic Referential transparency Logic Mathematics Analytic philosophy
3	EVALUATION OF THE EFFICACY OF CONTROL FLOW OBFUSCATION AGAINST PROFILING AND INTELLIGENT STATIC ATTACKS By SRINIVASAN CHANDRASEKHARAN ____________________ Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2010-09-26 23:54:05 Obfuscation Assembly languages Source code Java platform Obfuscated code Interpreter Opaque predicate Java JAR Computing Software Cross-platform software
4	Specific, Yet Opaque Zolt´an Gendler Szab´o Yale University [removed] Abstract. In her dissertation, Janet Fodor has argued that the quantificational force and the intensional status of certain quantifier Add to Reading List Source URL: pantheon.yale.edu Language: English - Date: 2010-07-13 19:36:25 Philosophy of language Mathematics Modal logic Philosophical logic De dicto and de re Quantification Opaque context Predicate abstraction Interpretation Logic Mathematical logic Semantics

UPDATE