1. Lecture Notes in Computer Science;E Albert,2007
2. Chakravarty, S., Zhao, Z., Gerstlauer, A.: Automated, retargetable back-annotation for host compiled performance and power modeling. In: Proceedings of CODES+ISSS 2013, pp. 36:1–36:10. IEEE Press, USA (2013). http://dl.acm.org/citation.cfm?id=2555692.2555728
3. Debray, S.K., Lin, N.W., Hermenegildo, M.V.: Task granularity analysis in logic programs. In: Proceedings of PLDI 1990, pp. 174–188. ACM, June 1990
4. Debray, S.K., López-García, P., Hermenegildo, M.V., Lin, N.W.: Lower bound cost estimation for logic programs. In: ILPS 1997, pp. 291–305. MIT Press (1997)
5. Henriksen, K.S., Gallagher, J.P.: Abstract interpretation of PIC programs through logic programming. In: Proceedings of SCAM 2006, pp. 184–196. IEEE Computer Society (2006)