qcert software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: Software_PROGRAMMINGLANGUAGES | Hardware_CONTROLSTRUCTURESANDMICROPROGRAMMING | InformationSystems_DATABASEMANAGEMENT | InformationSystems_INFORMATIONSTORAGEANDRETRIEVAL

A Platform for Implementing and Verifying Query Compilers
Share - Bookmark