Что касается Wolfram Mathematica, вот три текста из их документации; не бог весть какой кладезь, но, возм., вам будет интересно прочесть:
а)
Basic Internal Architecture;
б)
Why You Do Not Usually Need to Know about Internals;
в)
Some Notes on Internal Implementation.