程序形式语义的一致性

本文介紹了程序語言的指称語义、操作語义和关系語义,并论证了它们的逻辑一致性。