Стек является деталью реализации, или нет?

Согласно http://msdn.microsoft.com/en-us/library/ms229017.aspx, типы значения "выделяются на стеке или встроенные с другими структурами*". Все же в стеке деталь реализации, Eric Lippert заявляет, что это - деталь реализации.

К моему пониманию деталь реализации является "поведением, произведенным кодом, на который можно полагаться путем потребления кода, хотя то поведение не указано спецификацией, код написан к".. Я понимаю, что документация не является спецификацией, хотя, по-видимому, если что-то перечислено в документации, что мы можем полагаться на нее и это больше не деталь implmentation. Так, действительно ли стек является деталью реализации или не так ли?

*: Я понимаю это, чтобы означать, что структуры могут также быть выделены в других вместо непосредственно на "куче", хотя я мог быть неправым.