Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects
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 re...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6271 |
| _version_ | 1826201753192759296 |
|---|---|
| author | Yonezawa, Akinori Hewitt, Carl |
| author_facet | Yonezawa, Akinori Hewitt, Carl |
| author_sort | Yonezawa, Akinori |
| collection | MIT |
| 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. |
| first_indexed | 2024-09-23T11:56:33Z |
| id | mit-1721.1/6271 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T11:56:33Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/62712019-04-11T01:10:42Z Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects Yonezawa, Akinori Hewitt, Carl 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. 2004-10-04T14:48:08Z 2004-10-04T14:48:08Z 1976-12-01 AIM-399 http://hdl.handle.net/1721.1/6271 en_US AIM-399 15393193 bytes 11437250 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Yonezawa, Akinori Hewitt, Carl Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects |
| title | Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects |
| title_full | Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects |
| title_fullStr | Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects |
| title_full_unstemmed | Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects |
| title_short | Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects |
| title_sort | symbolic evaluation using conceptual representations for programs with side effects |
| url | http://hdl.handle.net/1721.1/6271 |
| work_keys_str_mv | AT yonezawaakinori symbolicevaluationusingconceptualrepresentationsforprogramswithsideeffects AT hewittcarl symbolicevaluationusingconceptualrepresentationsforprogramswithsideeffects |