C语言的公理语义(Ⅱ)──函数

The Axiomatic Semantics of Programing Language C─Function

下载PDF

导出

摘要从公理语义的角度，讨论C语言的重要机制─—函数─—的语义。 In this paper, we give an axiomatic semantics for function of programing language C.

作者游功强 You Gongqiang (Department of Mathematics )

出处《绍兴文理学院学报（哲学社会科学版）》 1996年第6期68-71,共4页 Journal of Shaoxing College of Arts and Sciences

关键词形式参数实在参数函数公理语义递归函数 parameter argument function axiomatic semantics recursive function

参考文献3

1游功强.C语言的公理语义(1)──控制结构[J].绍兴文理学院学报（哲学社会科学版）,1995(6):32-35. 被引量：1
2陆汝钤.计算机语言的形式语义[M]科学出版社,1992.
3C. A. R. Hoare,N. Wirth. An axiomatic definition of the programming language PASCAL[J] 1973,Acta Informatica(4):335～355

1996年第6期

内容加载中请稍等...