谓词转换器的稳定语义

摘要

该文旨在建立Dijkstra谓词转换器的稳定语义。一个基本慨念一Stable空间被引入，建立stable空间的超空间，表明Dijsktra谓词转换器可由stable空间的连续映射表示。