JMatch; Pattern matching; Named constructor; Equality constructor; Matching specification; Exhaustiveness; Redundancy; Modal abstraction; Java; Data abstraction; Subtyping; Design; Verification; Languages;
机译:协调穷举模式与对象的匹配
机译:通过规范排序快速穷举搜索等效模式匹配
机译:使用基于几何的矢量映射描述符进行工业对象识别的模式匹配
机译:协调穷举模式与对象的匹配
机译:运行,XTATIC,运行:通过常规模式匹配有效实现面向对象的语言
机译:评估对象到图片和图片到对象的匹配是绘画偏好评估的必备技能
机译:协调穷举模式与对象的匹配
机译:基于规则的三维线条对象识别模式匹配系统:视频跟踪的基础