Home      Publications      C++ Code      Translator      Abstract Machine      Benchmark Results      Links

Bottom-Up Evaluation with the "Push Method"

Translator from Datalog to C++

This is version 8.6 from May 9, 2016. The program was written by Heike Stephan. This is a research prototype under construction.

• tar-Archive:
  [Translator_V8_6.tar]

Single Files:

• README.txt
• parser.pl
• abstract_evaluator.pl
• transformer.pl
• code_generator_push2015.pl
• sldmagic_push.pl
• translator_main.pl

Stefan Brass (brass@informatik.uni-halle.de), May 10, 2016

Original URL: http://www.informatik.uni-halle.de/~brass/push/trans.html   [XHTML 1.0]   [CSS]   [Links]   [Legal Info]