Здравствуйте, Философ, Вы писали:

Ф>·>Зачем эти фантазии и философия? Вот есть же доки, они рулез.
Ф>·>Например https://gcc.gnu.org/onlinedocs/gcc/Compatibility.html
Ф>А смысл в доках от GCC, если
Смысл в том, что там пишут фактическое название вещей, а не филосовствования.

Ф>бинарный интерфейс частенько даже не кодом записан? Псевдокодом, в pdf'ке.
Тогда это не ABI.

Ф>Где GCC и где бинарный интерфейс какой-нибудь железяки?
У железяк не ABI, а протоколы. По определению.

Ф>

Ф>by all of the tools that deal with binary representations of a program, including compilers, assemblers, linkers, and language runtime support.

Ф>Вот скажи, железяка предоставляет бинарный интерфейс?
Не предоставляет.

Ф>Может это делать?
Не может.

Ф> Тогда причём тут "binary representations of a program"?
Такое определение термина ABI.