School of Computing

Roles of variables and program analysis

Craig Bishop and Colin G. Johnson

In Tapio Salakoski, editor, Proceedings of the 5th Finnish/Baltic Conference on Computer Science Education, pages 182-196. University of Turku, November 2005.

Abstract

The idea of roles of variables is to provide a vocabulary for describing the way in which variables are used by experienced programmers. This paper presents work on a system that is designed to automatically check students' role assignments in simple procedural programming. This is achieved by applying program analysis techniques, in particular program slicing and data flow analysis, to programs that students have written and annotated with role assignments.

Download publication 162 kbytes (PDF)

Bibtex Record

@inproceedings{2328,
author = {Craig Bishop and Colin G. Johnson},
title = {Roles of Variables and Program Analysis},
month = {November},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2328},
    publication_type = {inproceedings},
    submission_id = {23394_1134842744},
    booktitle = {Proceedings of the 5th Finnish/Baltic Conference on Computer Science Education},
    editor = {Tapio Salakoski},
    organization = {University of Turku},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014