机译:嵌套Hoare三元组和高阶商店的框架规则
机译:百货商店框架IC标签规则
机译:类逻辑语言的分离逻辑打字语义和高阶框架规则
机译:高阶商店的嵌套Hoare三元组和框架规则
机译:将小麦存储在三层塑料袋中:防止象鼻虫,米粉鼠(鞘翅目:Curculionidae)和漏气对密封存储的影响。
机译:菲利普·查尔斯·富尔福德(Philip Charles Fulford)·丁卡·加内卡(Dinkar Ghanekar)·理查德·大卫·霍阿(Richard David Hoare)·大卫·托马斯·劳埃德·休斯(David Thomas Lloyd-Hughes)·罗莎琳·斯托利·麦克高恩(Rosalind Storey McGowan)伊万·萨姆森·达勒姆·汤姆森(Ivan Samson Durham Thomson)
机译:高阶商店的嵌套Hoare三元组和框架规则
机译:交互式编译器使用Hoare证明规则进行证明。