Pattern Analysis of TXL Programs | IEEE Conference Publication | IEEE Xplore