The next 700 data description languages

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 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

COMPUTER PROGRAMMING LANGUAGES; ERROR ANALYSIS; SEMANTICS; SPECIFICATIONS; XML;

DATA DESCRIPTION LANGUAGE; DEPENDENT TYPES; DOMAIN-SPECIFIC LANGUAGES; SIMPLE-TYPE INTERPRETATION;

DATA DESCRIPTION;

EID: 33745830891     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111037.1111039     Document Type: Conference Paper

References (20)

1. G. Back. DataScript: A specification and scripting language for binary data. In GPCE, volume 2487, pages 65-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.cmu.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.