THOR USER S MANUAL LIBRARY FUNCTIONS Robert Alverson Tom Blank Kiyoung Choi Sun Young Hwang Arturo Salz Larry Soule Tom Rokicki Technical Report CSL TR 88 349 January 1988 This work was supported by Defense Advanced Research Projects Agency Contract No MDA903 83 C 0335 THOR USER S MANUAL LIBRARY FUNCTIONS Robert Alverson Tom Blank Kiyoung Choi Sun Young Hwang Arturo Salz Larry Soule and Thomas Rokicki Technical Report CSL TR 88 349 January
USER MANUAL OF FELIX 0 2 Feng Niu Christopher R Jude Shavlik Josh Slauson Ce Zhang University of Wisconsin Madison leonn chrisre shavlik czhang slauson cs wisc edu August 22 2011 Contents 1 Overview 2 Installation 2 1 Instale Prerequistes Lus ced eed ar a ee a re Ee e He SE 22 TXOMHSUEHE E ann vee a as ee EE OE te en E 3 Usage Example 4 Compilation Mo MM bn ten eenn TEE RE Sl es EE EE EF 42 Special Predicates 22s sn Ah bees eh quede ERA pod rie PR Ee R
AnHai Doan USER MANUAL OF TUFFY 0 3 Feng Niu Christopher R Jude Shavlik University of Wisconsin Madison anhai leonn chrisre shavlik czhang cs wisc edu Contents 1 Overview 2 Installation Installing Prerequisites como ERPS EVA Ewa Ewe EE ER a eS E Contiguras TOMY iaa Ay aa aS eee oe aoe SY 2 1 2 2 3 Usage o o eeen Ate Sak hss E AO Tuy Programs o scada a Aa Se ce di eRe e a e eed a E E a aa Data PES e e e bee oe ee ee we be ee ee ee he ee r