Show simple item record

Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects

dc.date.accessioned2004-10-04T14:48:08Z
dc.date.accessioned2018-11-24T10:12:41Z
dc.date.available2004-10-04T14:48:08Z
dc.date.available2018-11-24T10:12:41Z
dc.date.issued1976-12-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6271
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6271
dc.description.abstractSymbolic evaluation is a process which abstractly evaluates an program on abstract data. A formalism based on conceptual representations is proposed as a specification language for programs with side-effects. Relations between algebraic specifications and specifications based on conceptual representations are discussed and limitations of the current algebraic specification techniques are pointed out. Symbolic evaluation is carried out with explicit use of a notion of situations. Uses of situational tags in assertions make it possible to state relations about properties of objects in different situations. The proposed formalism can deal with problems of side-effects which have been beyond the scope of Floyd-Hoare proof rules and give a solution to McCarthy's frame problem.en_US
dc.format.extent15393193 bytes
dc.format.extent11437250 bytes
dc.language.isoen_US
dc.titleSymbolic Evaluation Using Conceptual Representations for Programs with Side-Effectsen_US


Files in this item

FilesSizeFormatView
AIM-399.pdf11.43Mbapplication/pdfView/Open
AIM-399.ps15.39Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record