The design and implementation of Kaleidoscope'90-A constraint imperative programming language | IEEE Conference Publication | IEEE Xplore