RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS

Proceedings of ISP RAS, 2016, Volume 28, Issue 5, Pages 239–268 (Mi tisp79)

A declarative language FlexT for analysis and documenting of binary data formats
A. E. Khmel'nov, I. V. Bychkov, A. A. Mikhailov

References

1. Faase F. J., BFF: A grammar for Binary File Formats: http://www.iwriteiam.nl/Ha_BFF.html
2. Data Format Description Language (DFDL): https://www.ogf.org/ogf/doku.php/standards/dfdl/dfdl
3. Data Format Description Language (DFDL): http://www.ibm.com/support/knowledgecenter/SSMKHH_10.0.0/com.ibm.etools.mft.doc/df20060_.htm, IBM Knowledge Center
4. IBM Integration Bus: http://www-03.ibm.com/software/products/en/ibm-integration-bus/
5. Daffodil: Open Source DFDL: https://opensource.ncsa.illinois.edu/confluence/display/DFDL
6. Unsupported features: http://www.ibm.com/support/knowledgecenter/SSMKHH_10.0.0/com.ibm.etools.mft.doc/df00150_.htm, IBM Knowledge Center
7. WebLogic Integration 7.0. Building Format Definitions: https://docs.oracle.com/cd/E13214_01/wli/docs70/diuser/fmtdef.htm
8. NetPDL Language Specification: http://www.nbee.org/doku.php?id=netpdl:index
9. BinPAC: https://www.bro.org/sphinx/components/binpac/README.html
10. The data description language EAST specification (CCSD0010): http://mtc-m16c.sid.inpe.br/col/sid.inpe.br/mtc-m18@80/2009/07.21.13.31/doc/CCSDS
11. Calder B. R., Masetti G., “Huddler: a multi-language compiler for automatically generated format-specific data drivers”, U.S. Hydrographic Conference (US HYDRO), 2015 http://www.hypack.com/ushydro/2015/papers/pdf/Calder_Huddler_for_automatic_data_drivers.pdf
12. Digital Archives Research: http://perpos.gtri.gatech.edu/, Georgia Tech Research Institute
13. Underwood W., “Grammar-Based Specification and Parsing of Binary File Formats”, The International Journal of Digital Curation, 7:1 (2012), 95-106 http://www.ijdc.net/index.php/ijdc/article/viewFile/207/276  crossref
14. Parr T., ANTLR (ANother Tool for Language Recognition): http://www.antlr.org/
15. Godmar Back, “DataScript — A Specification and Scripting Language for Binary Data”, Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, GPCE '02, eds. Don S. Batory, Charles Consel, Walid Taha, Springer-Verlag, London, UK, 2002, 66-77  zmath
16. DataScript: http://datascript.sourceforge.net/
17. Binary data definition language: http://www.binarydom.com/sdk/doc/bddl.shtml
18. Binopedia: http://binopedia.org/
19. Kaitai Struct: http://kaitai.io/
20. Synalyze It!: https://www.synalysis.net/
21. Hexinator: https://hexinator.com/hexinator-windows/
22. Synalyze It! The Grammar Page: https://www.synalysis.net/formats.xml
23. B. Liskov, J. Guttag, Abstraction and Specification in Program Development, The MIT Press, 1986  zmath; Liskov B., Gateg Dzh., Ispolzovanie abstraktsii i spetsifikatsii pri razrabotke programm, Per. s angl, Mir, M., 1989
24. Field A. J., Harrison P. G., Functional Programming, Addison-Wesley, Wokingham, UK, 1988  zmath; Fild A., Kharrison P., Funktsionalnoe programmirovanie, Per. s angl., Mir, M., 1993
25. Ramsey N., Fernandez M. F., “The New Jersey machine-code toolkit”, Proceedings of the USENIX 1995 Technical Conference, TCON'95, USENIX Association, Berkeley, CA, USA, 1995, 24-24
26. Ramsey N., Fernandez M. F., The New Jersey Machine-Code Toolkit: http://www.cs.tufts.edu/ñr/toolkit/
27. Hmelnov A. Y., The home page of FlexT: http://hmelnov.icc.ru/FlexT/


© Steklov Math. Inst. of RAS, 2026