摘要
介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴。
This paper introduces the partial additive semantics of programming control. At first, we use partial function to describe the controlling structure of program, then use the theory of partial category to describe the programming assertion semantics.
出处
《中山大学学报论丛》
1996年第6期92-99,共8页
Supplement to the Journal of Sun Yatsen University
基金
国家自然科学基金资助项目
关键词
范畴
积与并积
偏加范畴
卫哨布尔代数
断言语义
category
product
coproduct
partial category
Guard Boolean algebraic
assertion semantics
