Computer language notation specification through program examples | IEEE Conference Publication | IEEE Xplore