(13 January 1981)
pp. 289-300.
Computer Systems and Applications, ACS/IEEE International Conference on. 2001 (2001), pp. 273-279.
Journal of Parallel and Distributed Computing, Vol. 64, No. 5. (May 2004), pp. 617-628.
(1988), pp. 112-123.
Logic-Based Program Synthesis and Transformation (2007), pp. 143-159.
On-Line Testing Symposium, 2006. IOLTS 2006. 12th IEEE International (2006), 6 pp..
International Journal of Human-Computer Studies, Vol. 54, No. 2. (February 2001), pp. 237-264.
(2006), pp. 35-42.
(2003), pp. 148-152.
(1986), pp. 230-251.
SIGCSE Bull., Vol. 6, No. 1. (February 1974), pp. 59-63.
(2005), pp. 84-88.
(1997), pp. 20-41.
Vol. 17, No. 4. (April 1986), pp. 183-191.
(1987), pp. 114-131.
SIGCSE Bull., Vol. 3, No. 4. (December 1971), pp. 15-18.
(2005), pp. 55-62.
J. Educ. Resour. Comput., Vol. 5, No. 3. (September 2005)
Commun. ACM, Vol. 20, No. 1. (January 1977), pp. 13-21.
SIGCSE Bull., Vol. 37, No. 4. (December 2005), pp. 79-83.
No. CMU-CS-85-127. (may 1985)
(1982)
(1984)
(1990)
ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3. (May 1994), pp. 387-427.
(1986), pp. 36-56.
(1994)
(1998)
ACM Trans. Program. Lang. Syst., Vol. 4, No. 3. (July 1982), pp. 323-344.
(November 1999)
(1993)
(1992)
(1999)
(1997), pp. 27-36.
(1997), pp. 43-58.
(2000)
(1988), pp. 524-532.
Vol. 27, No. 7. (July 1992), pp. 32-43.
(2000), pp. 240-259.
Vol. 8, No. 4. (August 1983), pp. 9-22.
(2000)
Vol. 28, No. 6. (June 1993), pp. 13-25.
SIGPLAN Not., Vol. 28, No. 4. (April 1993), pp. 39-44.
ACM Trans. Program. Lang. Syst., Vol. 14, No. 2. (April 1992), pp. 173-200.
(1992)
ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (January 1985), pp. 176-181.
Software Engineering, IEEE Transactions on, Vol. 16, No. 9. (1990), pp. 965-979.