Folks, I joined this list because Alan's group has research interests that overlap with my leisure passions.
Here is one example. Something that Smalltalk is famous for is *in situ update* (automated code distribution), and *en vivo* studies (debugging a living system without killing it). But I don't know where to go to find a master list of techniques in computer science for reasoning about these problems. I have mainly combed through many different areas of computer science and found that they can be related back to these two basic features. Alan has said many times that the Internet was a major inspiration, and it is indeed a good example of these two features. Focus: What other systems support in situ update, and en vivo studies? * Automated truth maintenance systems * Smalltalk-80, using Tombstones * Lisp, using special forms * Term rewriting systems * Anything that claims to "solve the Frame Problem" I'll add to the list, but maybe you could help me out! Cheers, Z-Bo
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
