摘要
给出一种在对象式语言中有效地支持约束的方法及其实现技术 .应用这种具有约束描述机制的面向对象语言进行开发 ,可以较好地结合对象式和约束式这两种程序设计的优势 ,从而增强语言的描述能力和问题求解能力 。
In this paper we present a simple method of supporting constraints in o-o languages through defining a new language ConsC which extends C++ with constraint description mechanism, and introduce the algorithm of translating ConsC into C++. By applying ConsC in development, not only the advantages of both object oreiented and constraint programming styles can be achieved, but also the power of describing and solving problems can be enhanced.
出处
《吉林大学自然科学学报》
CAS
CSCD
北大核心
2001年第4期43-48,共6页
Acta Scientiarum Naturalium Universitatis Jilinensis
基金
教育部骨干教师基金
