Applicability checking in visual programming languages | IEEE Conference Publication | IEEE Xplore