Home » forums » LtU Forum

yet another oop formalization: class as abstract automata

ABSTRACT

The Formalization of the OOP Paradigm: INHERITANCE OF ABSTRACT AUTOMATA
is devoted to discussion of the inheritance
relation on sets of Mealy automata. It continues study

Formalization of the OOP Paradigm

in which:

- the concept of abstract data type (or, what is the same, of a class)
is treated as an abstract automaton;

- relations of inheritance and polymorphism are introduced on sets of the Moore automata.

Proposed formalization of OOP notions significally differs from the
formalization of Luca Cardelli (see, for example, "A Semantics of Multiple Inheritance",
1988, Information and Computation 76, 138-164, 1988; http://lucacardelli.name/; ).

By A. G. Piskunov at 2008-11-22 03:06 | LtU Forum | previous forum topic | next forum topic | other blogs | 6049 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

[Admin] Disclaimer and User Name

I believe it would be fair to mention that the original poster is also the author of the paper.

If nothing else, setting user's name to real one would do that.

By Andris Birkmanis at Mon, 2008-11-24 15:32 | login or register to post comments

Yes, this should be made

Yes, this should be made explicit. I suggested posting the link to the discussion group, and I should have noticed that the user name can be confusing. I am sure there was no intent to deceive in this case.

By Ehud Lamm at Mon, 2008-11-24 19:36 | login or register to post comments

Sorry, I did not understand

Andris Birkmanis,
Sorry, I did not understand your message completely.
Would you clarify, please, your post, if it is important.

Just in case, I am the author of the paper.

By A. G. Piskunov at Mon, 2008-11-24 20:36 | login or register to post comments

Usernames

Andris is suggesting that you modify your username (presently "agp1") to be your real name (presumably "A. G. Piskunov"). Making that change would serve the dual purposes of:

  1. Better conforming with LtU site policies
  2. Making it immediately clear that you are the author of the paper that was the subject of the original post (and, more importantly, of any other papers of yours that you choose to post about in the future).
By Allan McInnes at Mon, 2008-11-24 23:48 | login or register to post comments

The .pdf version of the

The .pdf version of the paper nangs-up my browser; but works if I download and use ghostview viewer.

By Hank Thediek at Tue, 2008-11-25 16:30 | login or register to post comments

Reference to Rogers is

Reference to Rogers is wrong, number 2.
Correct one is

@MISC{ HRogersEn,
TITLE = "{Theory of recursive functions and effective computability}",
AUTHOR = "{H. Rogers, Jr}",
NOTE = "(McGraw-Hill Book Company, 1967)"
}

By A. G. Piskunov at Tue, 2008-11-25 20:27 | login or register to post comments