Atur cara mengikut xasm.sf.net

eXtensible Abstract State Machines Percuma

Tujuan projek adalah untuk membangunkan bahasa pengaturcaraan yang semantiknya berdasarkan matematik yang minimum dan pentingMesin.