Persistent Objects with Ada 2012

An experiment to see if the Ada 2012 aspect Implicit_Dereference allows for a more robust and/or elegant implementation of persistent objects than the one I presented in my paper "An efficient implementation of persistent objects" at Ada-Europe 2010.

Build dependencies

  • Bash
  • GNU Make
  • GNU Parallel (or xargs)
  • GNAT
  • Mercurial (hg)
  • Perl


You can run the provided tests of the demonstration implementation using (GNU) make:

make test


You can build the demonstration using (GNU) make:

make build

The copyright to the software belongs to JSA Research & Innovation. The software is distributed under the Beer Ware License (revision 42): wrote this. As long as you retain this notice you can do whatever you want with this stuff. If we meet some day, and you think this stuff is worth it, you can buy me a beer in return.

If you want to find free Ada tools or libraries, AdaIC is an excellent starting point. You can also take a look at my other source text repositories or my web site.