一种用于C语言中发现存储分配错误的技术

本文描述了一种简单工具,用于诊断C语言程序中的存储分配错误。我们的工具由对标准存储分配程序的跟踪替换部分,和一个分析跟踪的程序组成。我们发现这个工具对完善长期运行程序(如正文编辑程序)很有帮助。     

代码生成中模式匹配方法的设计与实践

一个C语言子集S-C(Small C)的编译程序S-CC已经初步实现,目前已能为Z_80机生成目标代码。S-CC的设计目标是可移植性,正确性和一定的时空效率。目的是探讨采用自动化方法移植编译程序的可行性。由于S-CC在代码生成中采用了较先进的模式匹配方法,使可移植性有了很大提高。本文重点讨论模式匹配方法中的重要数据基—机器描述部分。     

程序设计语言C和PASCAL的比较

C语言和PASCAL语言是目前日趋流行的两种程序设计语言,尤其在小型计算机的程序设计者中广泛采用。本文从以下几个方面概述和比较C语言和PASCAL语言:设计思想;数据类型处理;各自所提供的程序设计设施;这些设施对程序质量的影响;以及这些设施在各种应用领域的程序设计中的作用。     

一个可移植编译程序的设计与实践

本文介绍了一个C 语言子集——S_C(Small C)的可移植编译程序S_CC(Small C Compiler)。S_CC 的设计目标是可移植性、正确性和一定的时空效率。目的是探讨采用自动化方法移植编译的可行性。由于S_CC 在代码生成中采用了较新的模式匹配方法,并提出了一种机器无关的寄存器分配算法——资源标记法,使可移植性有了很大提高。目前已能为Z-80机生成S_C 的汇编代码。本文着重讨论S_CC 的设计思想与实现方法。     

可移植编译程序的代码生成

本文给出了对自动化可移植代码生成技术的分类,并对有关这些技术的工作进行了综述。可移植代码生成的研究方法共分三类:解释代码生成,模式匹配代码生成以及表驱动代码生成。解释代码生成方法是先为虚拟机生成代码,然后再把该代码扩展成实际目标代码。模式匹配代码生成方法是把机器描述和代码生成算法分离。表驱动代码生成方法是利用形式化的机器描述和代码生成程序的生成程序,自动构造代码生成程序。本文对这些技术进行分析,并对各种自动代码生成算法进行评述。