机译:类似于Pascal的语言的在线部分评估的正确性
Partial evaluation; Correctness; Binding-time analysis;
机译:多态语言的类型导向的在线局部评估器
机译:通过部分透析液定量和在线尿素监测仪评估稀释前和稀释后在线血液透析滤过的充分性。
机译:祈使概率非确定性语言的直接谓词转换器局部正确语义相关
机译:并发语言的部分评估方案及其正确性
机译:从特定领域的语言生成代码的部分评估。
机译:比较五种语言的四种问题格式用于在线消费者调查
机译:多态语言的类型导向的在线局部评估器
机译:共享变量并行语言中部分正确性和死锁的公理化处理