PADS/ML: a functional data description language
Symposium on Principles of Programming Languages(2007)
摘要
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query en- gines and format converters are not readily available. In this paper, we explain the design, implementation and theory 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 im- plementation compiles these descriptions into ML structures and functors that include types for parsed data, functions for pars- ing and printing, and auxiliary support for user-specified, format- dependent and format-independent tool generation. Finally, the PADS/ML theory gives a precise formal meaning to the descriptions in terms of the semantics of parsing, the semantics of printing, and the types of data structures that represent parsed data.
更多查看译文
关键词
format converter,ml implementation,functional programming,parsed data,ml design,data description languages,printing,common tool,functional data description language,easy-to-read notation,massive amount,format-independent tool generation,dependent types,useful data,domain-specific languages,auxiliary support,parsing,modules,ml,polymorphism,domain specific language,domain specific languages,data processing
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络