References

  1. cereal. https://github.com/GaloisInc/cereal.
  2. binary. https://github.com/kolmodin/binary.
  3. tpl. http://troydhanson.github.io/tpl/.
  4. Apache Avro. http://avro.apache.org/docs/1.7.5/spec.html.
  5. Protocol Buffers. https://developers.google.com/protocol-buffers/.
  6. bson. http://bsonspec.org/.
  7. Message Pack. http://msgpack.org/.
  8. Cap'n'Proto. https://capnproto.org/.
  9. GitHub user gapag. https://github.com/gapag/horn-binary-deserialization/.
  10. ErlangProgramming Language. http://www.erlang.org/.
  11. The Pythonprogramming language. https://www.python.org/.
  12. Godmar Back (2002): DataScript - A Specification and Scripting Language for Binary Data. In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 66–77, doi:10.1007/3-540-45821-2_4.
  13. T. Boutell (1997): PNG (Portable Network Graphics) Specification Version 1.0. RFC Editor. Available at http://tools.ietf.org/html/rfc2083.
  14. KeithL. Clark (1978): Negation as Failure. In: HervĂ© Gallaire & Jack Minker: Logic and Data Bases. Springer US, pp. 293–322, doi:10.1007/978-1-4684-3384-5_11.
  15. William F Dowling & Jean H Gallier (1984): Linear-time algorithms for testing the satisfiability of propositional Horn formulae. The Journal of Logic Programming 1(3), pp. 267–284, doi:10.1016/0743-1066(84)90014-1.
  16. Kathleen Fisher & David Walker (2011): The PADS project: an overview. In: Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings, pp. 11–17, doi:10.1145/1938551.1938556.
  17. Joseph C. Giarratano & Gary D. Riley (2005): Expert Systems: Principles and Programming. Brooks/Cole Publishing Co., Pacific Grove, CA, USA, doi:10.1016/0005-1098(91)90121-H.
  18. Per Gustafsson & Konstantinos Sagonas (2005): Bit-level binaries and generalized comprehensions in Erlang. In: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang. ACM, pp. 1–8, doi:10.1145/1088361.1088363.
  19. Ernest Friedman Hill (2003): Jess in Action: Java Rule-Based Systems. Manning Publications Co., Greenwich, CT, USA.
  20. ISO/IEC (1993): ISO/IEC 11172-3:1993 - Information technology – Coding of moving pictures and associated audio for digital storage media at up to about 1,5 Mbit/s – Part 3: Audio. Padrão, doi:10.1.1.128.8675.
  21. Peter J McCann & Satish Chandra (2000): Packet types: abstract specification of network protocol messages. ACM SIGCOMM Computer Communication Review 30(4), pp. 321–333, doi:10.1145/347057.347563.
  22. Stuart J. Russell & Peter Norvig (2003): Artificial Intelligence: A Modern Approach, 2 edition. Pearson Education.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org