Если имя массива передается функции, то последняя получает в качестве аргумента адрес его начального элемента. Внутри вызываемой функции этот аргумент является локальной переменной, содержащей адрес. У меня Д. Трой в бумаге 1991. Или плохо искал, или нет.