Assistive technologies in education
Argentinean Dictatorships
Risk management tidbits that return big rewards
9a ovidio rodriguez, tachira
Quevedo #piensamelamor
Program Analysis auxiliary information (hints, proof steps, types) Can come from compiler or user Goal: Automatically computes potentially useful information.