Generalising the array split obfuscation
暂无分享,去创建一个
[1] Eric Van Wyk,et al. Proving correctness of compiler optimizations by temporal logic , 2002, POPL '02.
[2] Simon Thompson,et al. Haskell: The Craft of Functional Programming , 1996 .
[3] Christian S. Collberg,et al. A Taxonomy of Obfuscating Transformations , 1997 .
[4] Stephen Drape. Using Haskell to Model Tree Obfuscations , 2004 .
[5] Stephen Drape,et al. Obfuscation of abstract data-types , 2004 .
[6] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .
[7] Amit Sahai,et al. On the (im)possibility of obfuscating programs , 2001, JACM.
[8] Ronald L. Rivest,et al. Introduction to Algorithms, Second Edition , 2001 .
[9] Kai Engelhardt,et al. Data Refinement: Model-Oriented Proof Methods and their Comparison , 1998 .
[10] Huiqing Li,et al. Tool support for refactoring functional programs , 2003, Haskell '03.
[11] Maarten M. Fokkinga,et al. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.
[12] John Launchbury,et al. Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , 2002, POPL 2002.
[13] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.