algorithmic processor description language | algorithmic test case generation | algy | alias | alias | aliasing | aliasing bug | alice | alife | alife | aljabr | allegro | allelbows | alliance | alloy |