Browsing AI Memos (1959 - 2004) by Author "Yonezawa, Akinori"

Now showing items 1-2 of 2

    • Modelling Distributed Systems 

      Yonezawa, Akinori; Hewitt, Carl (1977-06-01)
      Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and ...

    • Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects 

      Yonezawa, Akinori; Hewitt, Carl (1976-12-01)
      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 ...