PADS/ML

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

PADS/ML: a functional data description language

Full text

Pdf (532 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Nice, France

SESSION: Session 3 table of contents

Pages: 77 - 83

Year of Publication: 2007

ISBN:1-59593-575-4

Also published in ...

Authors

Yitzhak Mandelbaum	Princeton University
Kathleen Fisher	AT&T Labs Research
David Walker	Princeton University
Mary Fernandez	AT&T Labs Research
Artem Gleyzer	Princeton University

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 62, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1190216.1190231 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Derek Dreyer , Robert Harper , Karl Crary, Understanding and evolving the ml module system, Carnegie Mellon University, Pittsburgh, PA, 2005
	2	Kathleen Fisher , Robert Gruber, PADS: a domain-specific language for processing ad hoc data, Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, June 12-15, 2005, Chicago, IL, USA
	3	Kathleen Fisher , Yitzhak Mandelbaum , David Walker, The next 700 data description languages, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.2-15, January 11-13, 2006, Charleston, South Carolina, USA
	4	Yitzhak H. Mandelbaum , David P. Walker, The theory and practice of data description, Princeton University, Princeton, NJ, 2006
	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.
	6	Tree formats. Workshop on molecular evolution. http://workshop.molecularevolution.org/resources/fileformats/tree_formats.php.

CITED BY 5

	Kathleen Fisher, Typing ad hoc data, Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, p.39-40, January 16-16, 2007, Nice, Nice, France
	Claus Brabrand , Anders Møller , Michael I. Schwartzbach, Dual syntax for XML languages, Information Systems, v.33 n.4-5, p.385-406, June, 2008
	Kathleen Fisher , David Walker , Kenny Q. Zhu, LearnPADS: automatic tool generation from ad hoc data, Proceedings of the 2008 ACM SIGMOD international conference on Management of data, June 09-12, 2008, Vancouver, Canada
	Kathleen Fisher , David Walker , Kenny Q. Zhu , Peter White, From dirt to shovels: fully automatic tool generation from ad hoc data, ACM SIGPLAN Notices, v.43 n.1, January 2008
	Venkatesh Choppella , Arijit Sengupta , Edward L. Robertson , Steven D. Johnson, Preliminary explorations in specifying and validating entity-relationship models in PVS, Proceedings of the second workshop on Automated formal methods, p.1-10, November 06-06, 2007, Atlanta, Georgia