Programming Languages and Systems (2006), pp. 131-147.
(19 December 2006)
Computer, Vol. 41, No. 10. (2008), pp. 96-99.
(2008), pp. 79-88.
(September 2007)
Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on, Vol. 00 (2006), 10 pp..
Static Analysis (2003), pp. 1075-1075.
Logic Program Synthesis and Transformation — Meta-Programming in Logic (1994), pp. 395-409.
Computer, Vol. 41, No. 6. (June 2008), pp. 98-101.
(25 June 2004)
Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on, Vol. 00 (2006), 10 pp..
(April 1970)
(2001), pp. 14-14.
(08 May 2007)
(11 June 2007)
(01 April 2000)
(1975), pp. 114-121.
(15 May 2003)
Software, IEEE, Vol. 25, No. 3. (2008), pp. 18-19.
Software, IEEE, Vol. 25, No. 3. (2008), pp. 14-15.
Software, IEEE, Vol. 25, No. 3. (2008), pp. 91-94.
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 70-81.
SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 79-89.
Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on (2002), pp. 681-682.
Software Engineering, 1999. Proceedings of the 1999 International Conference on (1999), pp. 690-691.
Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on (2002), pp. 693-694.
Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on (2007), pp. 170-171.
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 533-542.
metrics, Vol. 0 (2005)
Software, IEEE, Vol. 25, No. 4. (2008), pp. 14-15.
Software Maintenance and Reengineering, 2008. CSMR 2008. 12th European Conference on (2008), pp. 274-278.
Information and Software Technology, Vol. 49, No. 1. (January 2007), pp. 12-31.
(15 March 2000)
Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on (2001), pp. 156-168.
(29 January 2008)
(30 April 2007)
(1997), pp. 316-331.
(1994), pp. 15-17.
No. CMU/SEI-95-TR-021 ESC-TR-95-021. (December 1995)
Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303.
SIGSOFT Softw. Eng. Notes, Vol. 20, No. 2. (April 1995), pp. 42-47.
(26 February 2003)
(August 2001)
(20 April 2005)
Distributed Applications and Interoperable Systems (2008), pp. 196-209.
Coordination Models and Languages (2008), pp. 232-248.
Coordination Models and Languages (2008), pp. 153-168.
Coordination Models and Languages (2008), pp. 117-134.
Coordination Models and Languages (2008), pp. 33-49.