Keith Devens .com - Weblog: Entry 1680

Wednesday, March 20, 2002

Entry 1680

Via LtU, Foundations of Object-Oriented Programming Languages: Types and Semantics. Looks like an interesting book. I've really been wanting to read something on the more theoretical aspects of Object Oriented programming, and this looks like it may be it. I read Object Oriented Software Construction, by Bertrand Meyer a few years ago, but I don't remember that going into much theory... it was more of an introduction to OO (even though it was like 1200 pages). Although my memory could be totally wrong... I have to revisit that book

Permalink | 3 Comments | id 1680

15:40 (utc-5)

Comments

I'd say OOSC covers the "practical theory" - but if you are looking for "theory theory" you should look elsewhere.

∴ Ehud Lamm | 21-Mar-2002 9:22am est | http://lambda.weblogs.com | #132

Any suggestions?

This is a large field. Many type theory papers talk about OO (and the book mentioned above seems to be worth reading). Even more theoretical is the use of category theory and algebra (see http://lambda.weblogs.com/discuss/msgReader$2307). I'd also suggest reading on ADT theory (the classic papers from the '70s).<p>
I am sure you'll get more answers if you ask on LtU..

∴ Ehud Lamm | 22-Mar-2002 7:13am est | http://lambda.weblogs.com | #137

Feel free to post a comment below. Please see my comment policy.

Formatting Rules (No HTML):

**bold**, *italic*, _underlined_, --strikeout--
"text"="url" creates a link, and URLs are auto-highlighted
Blockquote: Like e-mail, begin paragraph with > (greater-than sign)
Lists: begin paragraph with *,-, or + (unordered), or # (ordered)
Code block: ?!code:language=perl|php|sql|javascript|etc.{\n}...{\n}?!/code

RSS feed RSS feed for Keith's Weblog
Atom feed Atom feed for Keith's Weblog
Weblog archive
Recent comments
on 5 posts