A formal semantics for sisal arrays (1995)

by I Attali, D Caromel, Y syau Chen, J luc Gaudiot, A L Wendelborn
Venue:In Proc. Joint Conf. Infor. Sci