archives

Mechanizing Language Definitions

The problem: Most languages don't have formal specifications.

The solution (maybe): Make specification easier by using mechanized tools (for example, use Twelf).

The presentation: here (Robert Harper, ICFP'05).

The conclusion: You decide.

By Ehud Lamm at 2005-10-17 13:07 | Theory | 10 comments | other blogs | 9710 reads

Object Oriented Programming + Referential Transparency

After doing a search through some of the archives (although not as extensive as it could have been) I couldn't find any references to the combination of object oriented programming and the maintaining of referential transparency. Is such a thing possible? Are there simple solutions or is a rather complex operation?

Thank you.

MJ

By mjstahl at 2005-10-17 18:39 | LtU Forum | 80 comments | other blogs | 27076 reads