topical slide(s): creative technology / new media / game development(s)

Multiple world semantics -- inference rules

$<< f(t_1,...,t_n),D >> -> << v, D >>$

attribute

$<< m(t_1,...,t_n),D >> -> << t_1, D' >>$

method

$<< t , D >> -> << t', D' >> => << e(...,t,...), D >> -> < >$

slide: The interpretation of change