PRAM: PRolog automatic marker

Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

Volumn Part F129252, Issue , 1998, Pages 166-170

  Mansouri, Fatima Z ^a   Gibbon, Cleveland A ^b   Higgins, Colin A ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^b Chatsworth House   (United Kingdom)

Author keywords

Automatic marking; Complexity; Correctness; Education; Metrics; Prolog; Style; Testing

Indexed keywords

EDUCATION; EDUCATION COMPUTING; ENGINEERING EDUCATION; TEACHING; TESTING;

AUTOMATIC MARKING; COMPLEXITY; CORRECTNESS; METRICS; PROLOG; STYLE;

STUDENTS;

EID: 30144445259     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/282991.283108     Document Type: Conference Paper

References (11)

1. Azem, A. Reliability prediction and estimation of Prolog programs. IEEE Transaction on Reliability, 43, 4 (Dec. 1994).
2. Benford, S., Burke, E. and Foxley, E. Learning to construct quality software with the Ceilidh system. Software Quality Journal, 2, 3 (1993), 177-197.
3. Bental, D. Why doesn't my program work? Requirements for automated analysis of novices' computer programs. Workshop on automated program understanding AI&ED, Conference on AI in Education (1993).
4. Berry and Meekings. A style analysis of C programs. Comm. of the ACM, 28 (1985).
5. Calani Baranauskas, M.C. Observational studies about novices interacting in a Prolog environment based on tools. Instructional Science 23: 89-109 (1995).
6. Kaplan, M. A plea for readable pleas for readable Prolog programming style. SIGPLAN Not., 26, 2, (Feb. 1991), 41-50.
7. Kearney, J.K., Sedlmeyer, R.L., Thompson, W.B., Gray, M.A. and Adler, M.A. Software complexity measurement. Comm. of the ACM 29 (1986), 1044- 1050.
8. Looi, C. Automatic debugging of Prolog programs in a Prolog intelligent tutoring system. Instructional Science 20, (1991), 215-263.
9. Markusz, M. and Kaposi, A. Control in logic-based programming. Computer Journal, 28, (1985), 487-495.
10. O'Keefe, Richard. The craft of Prolog. (1990) MIT.
11. Tu Van Le. Techniques of Prolog programming (1993).