Functional programs as compressed data

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2012, Pages 121-130

  Kobayashi, Naoki ^a   Matsuda, Kazutaka ^a   Shinohara, Ayumi ^a  

^a TOHOKU UNIVERSITY   (Japan)

Author keywords

Algorithms; Theory

Indexed keywords

ALGORITHMS; APPLICATION PROGRAMS; COMPUTATIONAL COMPLEXITY; FUNCTIONAL PROGRAMMING; METADATA; MODEL CHECKING; TREES (MATHEMATICS);

COMPRESSION ALGORITHMS; FUNCTIONAL PROGRAMS; HIGHER ORDER MODELING; KOLMOGOROV COMPLEXITY; LOSSLESS DATA COMPRESSION; PROGRAM VERIFICATION; THEORY; TRANSFORMATION TECHNIQUES;

DATA COMPRESSION;

EID: 84857859953     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2103746.2103770     Document Type: Conference Paper

References (37)

1. H. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. J. Symb. Log., 48(4):931-940, 1983.
2. C. H. Broadbent, A. Carayol, C.-H. L. Ong, and O. Serre. Recursion schemes and logical reflection. In Proceedings of LICS 2010, pages 120-129. IEEE Computer Society Press, 2010.
3. G. Busatto, M. Lohrey, and S. Maneth. Efficient memory representation of XML document trees. Inf. Syst., 33(4-5):456-474, 2008.
4. H. Comon, M. Dauchet, R. Gilleron, C. Löding, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available on: http://www.grappa.univ-lille3.fr/tata, 2007. release October, 12th 2007.
5. M. Crochemore and W. Rytter. Jewels of Stringology. World Scientific, 2002.
6. J. Engelfriet and H. Vogler. High level tree transducers and iterated pushdown tree transducers. Acta Inf., 26(1/2):131-192, 1988.
7. A. J. Gill, J. Launchbury, and S. L. Peyton-Jones. A short cut to deforestation. In FPCA, pages 223-232, 1993.
8. M. Hague, A. Murawski, C.-H. L. Ong, and O. Serre. Collapsible pushdown automata and recursion schemes. In Proceedings of LICS 2008, pages 452-461. IEEE Computer Society, 2008.
9. M. Hutter. Universal Artificial Intelligence: Sequential Decisions based on Algorithmic Probability. Springer-Verlag, Berlin, 2004.
10. H. Kaji, Y. Kida, and Y. Morimoto. Learning translation templates from bilingual text. In COLING, pages 672-678, 1992.
11. M. Karpinski, W. Rytter, and A. Shinohara. An efficient pattern matching algorithm for strings with short description. Nordic Journal on Computing, 4(2):129-144, 1997.
12. T. Kida, T. Matsumoto, Y. Shibata, M. Takeda, A. Shinohara, and S. Arikawa. Collage system: a unifying framework for compressed pattern matching. Theor. Comput. Sci., 1(298):253-272, 2003.
13. T. Knapik, D. Niwinski, and P. Urzyczyn. Higher-order pushdown trees are easy. In Proceedings of FOSSACS 2002, volume 2303 of LNCS, pages 205-222. Springer-Verlag, 2002.
14. N. Kobayashi. Model-checking higher-order functions. In Proceedings of PPDP 2009, pages 25-36. ACM Press, 2009.
15. N. Kobayashi. Types and higher-order recursion schemes for verification of higher-order programs. In Proc. of POPL, pages 416-428, 2009.
16. N. Kobayashi. A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes. In Proceedings of FOSSACS 2011, volume 6604 of LNCS, pages 260-274. Springer-Verlag, 2011.
17. N. Kobayashi, K. Matsuda, and A. Shonohara. Functional programs as compressed data. An extended version, available from the first author's web page, 2012.
18. N. J. Larsson and A. Moffat. Offline dictionary-based compression. In Proc. Data Compression Conference '99 (DCC'99), page 296. IEEE Computer Society, 1999.
19. M. Li and P. M. B. Vitányi. Kolmogorov complexity and its applications. In Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, pages 187-254. The MIT Press, 1990.
20. M. Li and P. M. B.Vitányi. An introduction to Kolmogorov complexity and its applications (3rd ed.). Texts in computer science. Springer-Verlag, 2009.
21. M. Lohrey, S. Maneth, and R. Mennicke. Tree structure compression with repair. In 2011 Data Compression Conference (DCC 2011), pages 353-362. IEEE Computer Society, 2011.
22. S. Maneth and G. Busatto. Tree transducers and tree compressions. In Proceedings of FOSSACS 2004, volume 2987 of LNCS, pages 363-377. Springer-Verlag, 2004.
23. W. Matsubara, S. Inenaga, A. Ishino, A. Shinohara, T. Nakamura, and K. Hashimoto. Efficient algorithms to compute compressed longest common substrings and compressed palindromes. Theor. Comput. Sci., 410(8-10):900-913, 2009.
24. C. G. Nevill-Manning and I. H. Witten. Compression and explanation using hierarchical grammars. Comput. J., 40(2/3):103-116, 1997.
25. C.-H. L. Ong. On model-checking trees generated by higher-order recursion schemes. In LICS 2006, pages 81-90. IEEE Computer Society Press, 2006. (Pubitemid 47130354)
26. W. Plandowski. Testing equivalence of morphisms on context-free languages. In ESA'94, volume 855 of LNCS, pages 460-470. Springer-Verlag, 1994.
27. W. Rytter. Application of Lempel-Ziv factorization to the approximation of grammar-based compression. Theor. Comput. Sci., 302(1-3):211-222, 2003.
28. W. Rytter. Grammar compression, LZ-encodings, and string algorithms with implicit input. In ICALP'04, volume 3142 of LNCS, pages 15-27. Springer-Verlag, 2004.
29. H. Sakamoto. A fully linear-time approximation algorithm for grammar-based compression. Journal of Discrete Algorithms, 3(2-4):416-430, 2005. (Pubitemid 40655189)
30. H. L. Somers. Review article: Example-based machine translation. Machine Translation, 14(2):113-157, 1999.
31. R. Statman. The typed lambda-calculus is not elementary recursive. Theor. Comput. Sci., 9:73-81, 1979.
32. C. Stirling. Decidability of higher-order matching. Logical Methods in Computer Science, 5(3), 2009.
33. J. Storer. NP-completeness results concerning data compression. Technical Report 234, Department of Electrical Engineering and Computer Science, Princeton University, Princeton, N.J., 1997.
34. J. Tromp. Binary lambda calculus and combinatory logic. In Kolmogorov Complexity and Applications, volume 06051 of Dagstuhl Seminar Proceedings, 2006.
35. T. Tsukada and N. Kobayashi. Untyped recursion schemes and infinite intersection types. In Proceedings of FOSSACS 2010, volume 6014 of LNCS, pages 343-357. Springer-Verlag, 2010.
36. S. van Bakel. Intersection type assignment systems. Theor. Comput. Sci., 151(2):385-435, 1995.
37. D. Vytiniotis and A. Kennedy. Functional pearl: every bit counts. In Proceedings of ICFP 2010, pages 15-26, 2010.