Article

PADS/ML: a functional data description language

Authors:

Artem GleyzerAuthors Info & Claims

POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pages 77 - 83

https://doi.org/10.1145/1190216.1190231

Published: 17 January 2007 Publication History

Get Access

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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[4]

Y. Mandelbaum. The Theory and Practice of Data Description. PhD thesis, Princeton University, September 2006.

Digital Library

Google Scholar

[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 Scholar

[6]

Tree formats. Workshop on molecular evolution. http://workshop.molecularevolution.org/resources/fileformats/tree_formats.php.

Google Scholar

Cited By

View all

Diatchki IDodds MGoldstein HHarris BHolland DRazet BSchlesinger CWinwood S(2024)Daedalus: Safer Document ParsingProceedings of the ACM on Programming Languages10.1145/36564108:PLDI(816-840)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656410
Chen ZLafont AO'Connor LKeller GMcLaughlin CJackson VRizkallah C(2023)Dargent: A Silver Bullet for Verified Data Layout RefinementProceedings of the ACM on Programming Languages10.1145/35712407:POPL(1369-1395)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3571240
Debnath JChau SChowdhury OKim YKim JVigna GShi E(2021)On Re-engineering the X.509 PKI with Executable Specification for Better Implementation GuaranteesProceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security10.1145/3460120.3484793(1388-1404)Online publication date: 12-Nov-2021
https://dl.acm.org/doi/10.1145/3460120.3484793
Show More Cited By

Index Terms

PADS/ML: a functional data description language
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

PADS/ML: a functional data description language
Proceedings of the 2007 POPL Conference

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 , ...
The next 700 data description languages

In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, which include pads, datascript, and packettypes, are designed to ...
The PADS project: an overview
ICDT '11: Proceedings of the 14th International Conference on Database Theory

The goal of the PADS project, which started in 2001, is to make it easier for data analysts to extract useful information from ad hoc data files. This paper does not report new results, but rather gives an overview of the project and how it helps bridge ...

Comments

Information & Contributors

Information

Published In

POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

January 2007

400 pages

ISBN:1595935754

DOI:10.1145/1190216

General Chair:
Martin Hofmann
Ludwig-Maximilians U, Munich, Germany
,
Program Chair:
Matthias Felleisen
Northeastern University, Boston MA

ACM SIGPLAN Notices Volume 42, Issue 1
Proceedings of the 2007 POPL Conference
January 2007
379 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1190215
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 January 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

POPL07

Sponsor:

POPL07: The 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

January 17 - 19, 2007

Nice, France

Acceptance Rates

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

78
Total Citations
View Citations
514
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Diatchki IDodds MGoldstein HHarris BHolland DRazet BSchlesinger CWinwood S(2024)Daedalus: Safer Document ParsingProceedings of the ACM on Programming Languages10.1145/36564108:PLDI(816-840)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656410
Chen ZLafont AO'Connor LKeller GMcLaughlin CJackson VRizkallah C(2023)Dargent: A Silver Bullet for Verified Data Layout RefinementProceedings of the ACM on Programming Languages10.1145/35712407:POPL(1369-1395)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3571240
Debnath JChau SChowdhury OKim YKim JVigna GShi E(2021)On Re-engineering the X.509 PKI with Executable Specification for Better Implementation GuaranteesProceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security10.1145/3460120.3484793(1388-1404)Online publication date: 12-Nov-2021
https://dl.acm.org/doi/10.1145/3460120.3484793
Yamaguchi DKuramitsu KHung CPapadopoulos G(2019)CPEGProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297433(1526-1533)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297433
Nguyen KWang KBu YFang LXu G(2018)Understanding and Combating Memory Bloat in Managed Data-Intensive SystemsACM Transactions on Software Engineering and Methodology10.1145/316262626:4(1-41)Online publication date: 3-Jan-2018
https://dl.acm.org/doi/10.1145/3162626
Roy SStefanidis KKoutrika GLakshmanan LRiedewald M(2016)Report on the Third International Workshop on Exploratory Search in Databases and the Web (ExploreDB 2016)ACM SIGMOD Record10.1145/3022860.302286745:3(35-38)Online publication date: 6-Dec-2016
https://dl.acm.org/doi/10.1145/3022860.3022867
Wiriyathammabhum PSummers-Stay DFermüller CAloimonos Y(2016)Computer Vision and Natural Language ProcessingACM Computing Surveys10.1145/300990649:4(1-44)Online publication date: 12-Dec-2016
https://dl.acm.org/doi/10.1145/3009906
Petricek TGuerra GSyme D(2016)Types from data: making structured data first-class citizens in F#ACM SIGPLAN Notices10.1145/2980983.290811551:6(477-490)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2980983.2908115
Petricek TGuerra GSyme DKrintz CBerger E(2016)Types from data: making structured data first-class citizens in F#Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2908080.2908115(477-490)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2908080.2908115
Nguyen KWang KBu YFang LHu JXu G(2015)FACADEACM SIGARCH Computer Architecture News10.1145/2786763.269434543:1(675-690)Online publication date: 14-Mar-2015
https://dl.acm.org/doi/10.1145/2786763.2694345
Show More Cited By

View Options

Get Access

Login options

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

Cited By

Index Terms

Recommendations

PADS/ML: a functional data description language

The next 700 data description languages

The PADS project: an overview