Interpreter generation; Structural operational semantics; Modular SOS; Specialization; Partial evaluation; Program derivation; Refocusing;
机译:模块化结构操作语义
机译:逻辑程序的连续样式解释器的操作语义方法
机译:从语义构建模块模块化解释器的开发
机译:用于生成新卫星传感器的高电平语义地理信息的操作映射技术
机译:使用语义专用共享数据空间在大规模应用程序和科学工作流程中启用动态交互。
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:用于定界连续的模块化结构操作语义
机译:构造细粒度结构操作语义的可追踪推理框架