Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
jr.sagepub.com/cgi/content/abstract/27/6/693 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can...
pc.sagepub.com/cgi/content/abstract/22/3/284 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:International Journal...
Wanchun Dou, Jinjun Chen, Jianxun Liu, S. C. Cheun...
As the CMOS technology is scaled into the dimension of nanometer, the clock frequencies and die sizes of ICs are shown to be increasing steadily [5]. Today, global wires that requ...