Arrays in FIDIL (1989)

by Luigi Semenzato, Paul Hilfinger
Venue:Symbolic Computation: Applications to Scientific Computing