A Graph Model for Object Oriented Programming

  title={A Graph Model for Object Oriented Programming},
  author={Peter Grogono and Mark Gargul},
  journal={SIGPLAN Notices},
There is, of course, a large and useful body of work in which the standard techniques of semantics, based on higher order typed λ-calculus, are used to explain object oriented programming, often with emphasis on type-correctness [3, 4, 9, 10]. But there remains a lingering suspicion that these techniques, despite their power, somehow miss the point. Since object oriented programming seems to be simple and appealing to programmers, perhaps there should be a simple model that accurately describes… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…