3 ms·

I would love to use this for compiler analysis, I need to research how this can be used with tools/ssa to do whole program logic queries.

• fspeech 12y ago
  Prolog interpreter is unlikely to be able to meet your performance needs although it would be a great ui. Search datalog and bdd and you should be able to find some good research and tools using bdd to support source code analysis related queries.
  • andrewchambers 12y ago
    I thought about using datomic for this before. I've seen a Java based bdd data log tool for pointer analysis. Though it was hard to play with Iirc. I think it would be slow but good for prototypes.
    • samatman 12y ago
      Is this you? https://github.com/achambers16 https://github.com/achambers16 Either way, email's in my profile. We should talk.
      • andrewchambers 12y ago
        Nah, this is me. https://github.com/andrewchambers https://github.com/andrewchambers