Max Planck Institute for Software Systems (MPI-SWS);
Max Planck Institute for Software Systems (MPI-SWS);
step-indexed kripke logical relations; biorthogonal-ity; compositional compiler correctness; garbage collection; self-modifying code;
机译:ML和汇编之间的Kripke逻辑关系
机译:具有逻辑关系的机械化证明– Kripke风格
机译:基于效果的程序转换的Kripke逻辑关系
机译:机器学习与装配体之间的Kripke逻辑关系
机译:淀粉的纳米级自组装:相关系,形成和结构。
机译:逻辑蛋白水解触发器控制的纳米粒子自组装。
机译:mL与装配的Kripke逻辑关系
机译:无机自组装路径到三维记忆和逻辑中间结构。