On Fri, Sep 2, 2011 at 8:06 AM, John Zabroski <[email protected]>wrote:
> > 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" > * Spreadsheets * Digital DJ programs * Zany Doodle * Multi-agent systems * Databases * Tuple spaces * Cellular automata * Constraint programming * Machine learning systems * Many reactive models My Reactive Demand Programming (RDP) model is, of course, designed for live programming. Development this June and July has led to me re-envisioning how various state models might be exposed to an RDP application, to improve live programming. One interesting possibility I've been developing since last weekend is to use TRS as a basis for state: state is a 'term', and the set of rewrite rules is a time-varying quantity.
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
