A declarative programming environment based on constraints | IEEE Conference Publication | IEEE Xplore