Journal Article10.1145/1190215.1190231
PADS/ML: a functional data description language
Yitzhak Mandelbaum,Kathleen Fisher,David Walker,Mary Fernández,Artem Gleyzer +4 more
- 17 Jan 2007
- Vol. 42, Iss: 1, pp 77-83
TL;DR: The design and implementation of PADS/ML is explained, a new language and system that facilitates the generation of data processing tools for ad hoc formats and includes features such as dependent, polymorphic and recursive datatypes.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Social Sensing: Building Reliable Systems on Unreliable Data
Dong Wang,Tarek Abdelzaher,Lance M. Kaplan +2 more
- 06 Apr 2015
TL;DR: Social Sensing: Building Reliable Systems on Unreliable Data looks at recent advances in the emerging field of social sensing, emphasizing the key problem faced by application designers: how to extract reliable information from data collected from largely unknown and possibly unreliable sources.
157
FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications
Khanh Nguyen,Kai Wang,Yingyi Bu,Lu Fang,Jianfei Hu,Guoqing Xu +5 more
- 14 Mar 2015
TL;DR: A novel compiler framework, called Facade, that can generate highly-efficient data manipulation code by automatically transforming the data path of an existing Big Data application by leading to significantly reduced memory management cost and improved scalability.
The next 700 data description languages
Kathleen Fisher,Yitzhak Mandelbaum,David Walker +2 more
- 11 Jan 2006
TL;DR: A calculus of dependent types is presented to serve as the semantic foundation for a family of languages called data description languages, designed to facilitate programming with ad hoc data, ie, data not in well-behaved relational or xml formats.
Dual syntax for XML languages
TL;DR: This work presents XSugar, which makes it possible to manage dual syntax for XML languages, and statically checks that the transformations are reversible and that all XML documents generated from the alternative syntax are valid according to a given XML schema.
65
Dual syntax for XML languages
Claus Brabrand,Anders Møller,Michael I. Schwartzbach +2 more
- 28 Aug 2005
TL;DR: This work presents XSugar, which makes it possible to manage dual syntax for XML languages, and statically checks that the transformations are reversible and that all XML documents generated from the alternative syntax are valid according to a given XML schema.
56
References
Bro: a system for detecting network intruders in real-time
Vern Paxson,Vern Paxson +1 more
TL;DR: An overview of the Bro system's design, which emphasizes high-speed (FDDI-rate) monitoring, real-time notification, clear separation between mechanism and policy, and extensibility, is given.
2.7K
•Book
Types and Programming Languages
Benjamin C. Pierce
- 01 Jan 2002
TL;DR: This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
2.7K
Systematic errors in weak lensing: application to SDSS galaxy-galaxy weak lensing
Rachel Mandelbaum,Christopher M. Hirata,Uroš Seljak,Uroš Seljak,Jacek Guzik,Jacek Guzik,Nikhil Padmanabhan,Cullen H. Blake,Michael R. Blanton,Robert H. Lupton,Jonathan Brinkmann +10 more
TL;DR: In this article, a geometric test for weak lensing signal-to-noise ratio at the 1 per cent level is proposed to constrain shear calibration biases and other systematics in the SDSS survey data.
318
PADS: a domain-specific language for processing ad hoc data
Kathleen Fisher,Robert E. Gruber +1 more
- 12 Jun 2005
TL;DR: From such descriptions, the PADS compiler generates libraries and tools for manipulating the data, including parsing routines, statistical profiling tools, translation programs to produce well-behaved formats such as Xml or those required for loading relational databases, and Tools for running XQueries over raw PADS data sources.
A new approach to generic functional programming
Ralf Hinze
- 05 Jan 2000
TL;DR: A new approach to generic functional programming is described, which allows us to define functions generically for all datatypes expressible in Haskell, to model types by terms of the simply typed λ-calculus augmented by a family of recursion operators.
162
Related Papers (5)
Kathleen Fisher,Robert E. Gruber +1 more
- 12 Jun 2005
Kathleen Fisher,Yitzhak Mandelbaum,David Walker +2 more
- 11 Jan 2006
Peter J. McCann,Satish Chandra +1 more
- 28 Aug 2000