面向对象式语言中支持约束的方法及实现技术

摘要：

给出一种在对象式语言中有效地支持约束的方法及其实现技术,应用这种具有约束描述机制的面向对象语言进行开发,可以较好地结合对象式和约束式这两种程序设计的优势,从而增强语言的描述能力和问题求解能力,具有更广泛的应用领域.

关键词：约束式语言、面向对象式语言、语法树、解图

分类号：TP312(计算技术、计算机技术)

资助基金：教育部高校骨干教师资助计划

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：43-48