Research Explorer

Project

Constraint Programmign for advanced joins in rule-based programming languages
Code
01N01112
Duration
01 January 2012 → 31 October 2016
Funding
Regional and community funding: Special Research Fund
Research disciplines
  • Natural sciences
    • Applied mathematics in specific fields
    • Computer architecture and networks
    • Distributed computing
    • Information sciences
    • Information systems
    • Programming languages
    • Scientific computing
    • Theoretical computer science
    • Visual computing
    • Other information and computing sciences
Keywords
rule-based programming languages joins constraint programming
 
Project description

Rule-based programming languages are booming because they meet the increasing work pressure of programmers perfectly. However, the lack of support for advanced joins poses a serious obstacle for further adoption. This project develops the essential support for advanced joins. We tackle this problem from a unique point of view: by bringing implementation techniques of Constraint Programming to bear.