Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects

dc.creator	Yonezawa, Akinori
dc.creator	Hewitt, Carl
dc.date	2004-10-04T14:48:08Z
dc.date	2004-10-04T14:48:08Z
dc.date	1976-12-01
dc.date.accessioned	2013-10-09T02:44:34Z
dc.date.available	2013-10-09T02:44:34Z
dc.date.issued	2013-10-09
dc.identifier	AIM-399
dc.identifier	http://hdl.handle.net/1721.1/6271
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description	Symbolic 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.
dc.format	15393193 bytes
dc.format	11437250 bytes
dc.format	application/postscript
dc.format	application/pdf
dc.language	en_US
dc.relation	AIM-399
dc.title	Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects

Files in this item

Files	Size	Format	View
There are no files associated with this item.