skip to main content
article

PADS/ML: a functional data description language

Published:17 January 2007Publication History
Skip Abstract Section

Abstract

Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily available. In this paper, we explain the design and implementation of PADS/ML , a new language and system that facilitates the generation of data processing tools for ad hoc formats. The PADS/ML design includes features such as dependent, polymorphic and recursive datatypes, which allow programmers to describe the syntax and semantics of ad hoc data in a concise, easy-to-read notation. The PADS/ML implementation compiles these descriptions into ml structures and functors that include types for parsed data, functions for parsing and printing, and auxiliary support for user-specified, format-dependent and format-independent tool generation.

References

  1. D. Dreyer. Understanding and Evolving the ML Module System. PhD thesis, CMU, May 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. K. Fisher and R. Gruber. PADS: A domain specific language for processing ad hoc data. In ACM Conference on Programming Language Design and Implementation, pages 295--304. ACM Press, June 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. K. Fisher, Y. Mandelbaum, and D. Walker. The next 700 data description languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 2--15, Jan. 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Y. Mandelbaum. The Theory and Practice of Data Description. PhD thesis, Princeton University, September 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Y. Mandelbaum, K. Fisher, D. Walker, M. Fernandez, and A. Gleyzer. PADS/ML: A functional data description language. Technical Report TR-761-06, Princeton University, July 2006.Google ScholarGoogle Scholar
  6. Tree formats. Workshop on molecular evolution. http://workshop.molecularevolution.org/resources/fileformats/tree_formats.php.Google ScholarGoogle Scholar

Index Terms

  1. PADS/ML: a functional data description language

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!