PLM :: StandardQL - defining quality through declarative programming

Project documentation

• Intermediary Report - Formal language for quality constraints
• Intermediary Report - Language presentation
• Final Report - Concrete implementation
• Final Report - Validation engine presentation

Project implementation

Compiler

Haskell module which handles the tokenization, parsing and elaboration of the StandardQL language.

• Language Implementation - StandardQL compiler

Engine

Java/Spring set of libraries and an application for handling the StandardQL runtime and rule evaluation as part of a mockup implementation of SIBAT.

• Language Implementation - Validation engine