@techreport{icps-1998-84, title = "A Formal Semantics of Data Parallel Languages", author= "E. Violard", institution = "LSIIT-ICPS Université Louis Pasteur", month = "December", year = "1998", note = "RR 98-04", }