The next 700 data description languages

ACM SIGPLAN Notices

Volumn 41, Issue 1, 2006, Pages 2-15

  Fisher, Kathleen ^a   Mandelbaum, Yitzhak ^b   Walker, David ^b  

^a AT AND T LABS RESEARCH   (United States)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

Data description language; Dependent types; Domain specific languages

Indexed keywords

DATA DESCRIPTION LANGUAGE; DEPENDENT TYPES; DOMAIN-SPECIFIC LANGUAGES;

DATA ACQUISITION; ERROR ANALYSIS; FUNCTIONS; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS; XML;

DATA DESCRIPTION;

EID: 33745214242     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1111320.1111039     Document Type: Article

References (20)

1. G. Back. DataScript: A specification and scripting language for binary data. In GPCE, volume 2487, pages 66-77. LNCS, 2002.
2. A. Birman and J. D. Ullman. Parsing algorithms with backtrack. Information and Control, 23(1), Aug. 1973.
3. W. Burge. Recursive Programming Techniques. Addison Wesley, 1975.
4. D. Eger. Bit level types, www-2.cs.cmu.edu/~eger/.
5. M. F. Fernández, J. Siméon, B. Choi, A. Marian, and G. Sur. Implementing XQuery 1.0: The Galax experience. In VLDB, pages 1077-1080. ACM Press, 2003.
6. K. Fisher and R. Gruber. PADS: A domain specific language for processing ad hoc data. In PLDI, pages 295-304. ACM Press, 2005.
7. B. Ford. Packrat parsing: Simple, powerful, lazy, linear time. In ICFP, pages 36-47. ACM Press, Oct. 2002.
8. B. Ford. Parsing expression grammars: A recognition-based syntactic foundation. In POPL, pages 111-122. ACM Press, Jan. 2004.
9. Gene Ontology Project. www.geneontology.org.
10. R. Grimm. Practical packrat parsing. Technical Report TR2004-854, New York University, Mar. 2004.
11. P. Gustafsson and K. Sagonas. Adaptive pattern matching on binary data. In ESOP, pages 124-139. Springer, Mar. 2004.
12. R. Harper. Programming Languages: Theory and Practice. Unpublished, 2005. www-2.cs.emu.edu/~rwh/.
13. G. Hutton and E. Meijer. Monadic parsing in Haskell. JFP, 8(4):437-444, July 1998.
14. A. Igarashi, B. Pierce, and P. Wadler. Featherwieght Java: A minimal core calculus for Java and GJ. In OOPSLA, pages 132-146. ACM Press, 1999.
15. B. Krishnamurthy and J. Rexford. Web Protocols and Practice. Addison Wesley, 2001.
16. P. J. Landin. The next 700 programming languages. CACM, 9(3):157-166, Mar. 1966.
17. P. McCann and S. Chandra. PacketTypes: Abstract specification of network protocol messages. In SIGCOMM, pages 321-333. ACM Press, August 2000.
18. Tree formats. Workshop on molecular evolution. workshop. molecularevolution.org/resources/fileformats/tree_formats.php.
19. T. J. Parr and R. W. Quong. ANTLR: A predicated- ll(k) parser generator. Software Practice and Experience, 25(7):789-810, July 1995.
20. C. Wikström and T. Rogvall. Protocol programming in Erlang using binaries. In Erlang/OTP User Conference, Oct. 1999.