Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).