Towards a language framework for thick control flows | IEEE Conference Publication | IEEE Xplore