Maintaining mental models: a study of developer work habits

JTL – The Java Tool Language:

Dr. Yossi Gil’s lab at the Technion is developing an interesting Java query and generation tool by using Datalog:The JTL homepage.The publications section includes some interesting articles – Maybe we can invite one of the students for a talk.