Title: ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
Description: The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.