You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
GhaS Shee (Apr 03 2022 at 12:30):It might be well known that the book was a good introduction to the linkers and loaders.
However, does anyone know the more sophisticated and modern approach to get introduced to the subject ?
Alex Gryzlov (Apr 03 2022 at 22:57):You might be interested in the work of Amal Ahmed on formalization of linking, e.g. this paper.
Alex Gryzlov (Apr 03 2022 at 23:01):These design notes for a modern parallel linker can also be an interesting read.
GhaS Shee (Apr 04 2022 at 03:22):Thanks!
These sound to be exactly what I want now! :-)
I have been following Morrisett's work of TAL and Ahmed's work around 2000 when I consider the designing of "sub-language" that can be get through the compilation of a language followed by a backword decompilation.
But I didn't know this paper.