School of Informatics, University of Sussex;
higher order store; hoare logic; modular proof;
机译:一种用于Whirl的基于协导轨迹的大步语义的Hoare逻辑
机译:从数学逻辑到编程语言语义:与Tony Hoare的讨论
机译:无存储语义学和别名逻辑
机译:使用简单语义的高阶商店逻辑
机译:一种用于自动化,高通量测量所存储红细胞形态的简单微流控设备。
机译:菲利普·查尔斯·富尔福德(Philip Charles Fulford)·丁卡·加内卡(Dinkar Ghanekar)·理查德·大卫·霍阿(Richard David Hoare)·大卫·托马斯·劳埃德·休斯(David Thomas Lloyd-Hughes)·罗莎琳·斯托利·麦克高恩(Rosalind Storey McGowan)伊万·萨姆森·达勒姆·汤姆森(Ivan Samson Durham Thomson)
机译:关于高阶商店的Hoare逻辑
机译:指定时间程序的语义:Hoare和Lauer的论文教程和批评。