Summary: 45
Class Notes for CS 819A3 - Spring 2003
3. Arrays
John C. Reynolds
Department of Computer Science
Carnegie Mellon University
Revised February 13, 2003
c
2003 John C. Reynolds

46
More Programming-Language Syntax
hsetexpi ::= hexpi to hexpi
harrayexpi ::= harrayvari
hexpi ::= harrayexpi(hexpi)
hcommi ::= harrayvari(hexpi) := hexpi
j newarray harrayvari(hsetexpi) in hcommi
newarray v a (e s ) in c declares v a to be an array variable whose
subscript range is the set expression e s .
The occurrence of v a in newarray v a (e s ) in c is a binder whose

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics