Toward relaxing assumptions in languages and the1r implementations | IEEE Conference Publication | IEEE Xplore