过程式语言相关论文
《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学......
介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良......
尾递归化是程序分析中的一个基本方法,通过对过程式语言中递归函数尾递归化几个特殊方法的比较分析,给出了一个较一般的方法.......
过程式程序设计语言一直是计算机编程设计语言的一个重要内容之一。到目前为止很多大学仍然把过程式程序开发语言作为计算机编程开......
本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的，我们考虑了ＧＯＴＯ语句的处理，因此，我们的方......
