E Miranda[Apr 1991], "How to do machine-independent fast threaded code," Dept of Computer Science, Queen Mary and Westfield College, London.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....native code direct. In this way we gain instant portability, because C is implemented on a wide variety of architectures, and we benefit directly from improvements in C code generation. This approach, of using C as a high level assembler has gained popularity recently (Bartlett [1989] Miranda [1991]) 4 In particular, the work of Tarditi et al. on compiling SML to C, developed independently and concurrently with ours, addresses essentially the same problems (Tarditi, Acharya Lee [1991] Rather than generating C directly, we go via an internal datatype called Abstract C . This allows the ....

....instruction which really does take a jump. Most C compilers provide an assembly language trapdoor, which we exploit here. Using in line assembly code in this way has its pitfalls, especially if we simultaneously try to use local variables. Miranda gives details of the tricky things one has to do (Miranda [1991]) 6.4 Debugging The use of a tiny interpreter turned out to have a very useful property which we had not anticipated: it is a tremendous debugging aid. The STG machine frequently takes an indirect jump, to the code pointed to by a closure. If a bug has caused a closure to be corrupted, this ....

E Miranda [Apr 1991], "How to do machine-independent fast threaded code," Dept of Computer Science, Queen Mary and Westfield College, London.

No context found.

E Miranda[Apr 1991], "How to do machine-independent fast threaded code," Dept of Computer Science, Queen Mary and Westfield College, London.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC