Declarative debugging; Big-step semantics; Small-step semantics; Maude;
机译:按名称调用RPC演算的大步和小步语义
机译:按名称调用RPC演算的大步和小步语义
机译:关于互导的小步和大步语义:无存储按需求值的案例研究
机译:在Maude中使用大步和小步语谱来执行陈述调试
机译:使用声明性语言优化和调试分布式系统
机译:第二语义语义和句法处理的事件相关潜在研究:来自陈述/程序模型的证据
机译:Maude中的声明式调试和异构验证= Maude中的声明式调试和异构验证