1 search results - page 1 / 1 » A formal foundation for trace-based JIT compilers |
FMCO
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....