A transformational approach to binary translation of delayed branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Development in PVS Using Generic Development Steps
Selected Papers from the International Seminar on Generic Programming
Using Hammock Graphs to Structure Programs
IEEE Transactions on Software Engineering
A transformational approach to binary translation of delayed branches with applications to SPARC® and PA-RISC instructions sets
Hi-index | 0.00 |