For example, by requiring that system call error codes be checked (or inserting such checks) or by ensuring that assertion ... Unlike object code modifiers such as ATOM , MAGIK clients are tightly integrated with the source compiler. ... First, it provides access to the full semantics of the high-level language, information that source transformers can exploit (or require) during code transformation. Secondanbsp;...
|Title||:||Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California|
|Publisher||:||Usenix Association - 1997|