A NEW SEMANTICS FOR CONSTRAINT LOGIC PROGRAMS
Yong Zhang · Journal of Guangxi Normal University · 2003
This paper presented a new semantics of constraint logic programs,i.e.the multiset answer constraint semantics.Because the method which had been adopt is the ssemantics approach,whose aim is finding notions of models which really capture the operational semantics,and are therefore useful for defining program equivalences and for semanticsbased program analysis.As a important observable property of the constraint logic program,the program equivalence of multiset answer constraint can be define,and some correlative conclusions can be presented.On the basis this semantics,programmers can comprehend the program deeply and can write more effective program.Finally,some directions of the semantics are identified.