loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kota Uchida 1 and Katsuhiko Gondow 2

Affiliations: 1 Cyboze and Inc., Japan ; 2 Tokyo Institute of Technology, Japan

ISBN: 978-989-758-179-3

Keyword(s): Programming Education, C Static Checker, Compiler Warning Messages, Latent Errors, Heuristics, Novice Programmer.

Related Ontology Subjects/Areas/Topics: Authoring Tools and Content Development ; Computer-Supported Education ; Domain Applications and Case Studies ; e-Learning ; Information Technologies Supporting Learning ; Intelligent Learning and Teaching Systems

Abstract: For better programming language education, it is crucial to make compiler warning messages more understandable for novice programmers. Unfortunately, however, Kojima’s research showed warning messages in commercial-level compilers like GCC are still difficult to understand, and the commercial-level compilers tend not to emit how to modify programs to correct the problems. Furthermore, we found that they also tend not to handle latent errors. To solve this problem, by using a heuristic approach, we propose a novel C static checker called C-Helper, that aims to emit more direct error messages understandable for novices to correct wrong programs, and also aims to handle latent errors. Our preliminary evaluation shows that C-Helper was positively evaluated, although our heuristic approach increased false-positives.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.205.60.226

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Uchida, K. and Gondow, K. (2016). C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers.In Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-758-179-3, pages 321-329. DOI: 10.5220/0005797703210329

@conference{csedu16,
author={Kota Uchida. and Katsuhiko Gondow.},
title={C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers},
booktitle={Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2016},
pages={321-329},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005797703210329},
isbn={978-989-758-179-3},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers
SN - 978-989-758-179-3
AU - Uchida, K.
AU - Gondow, K.
PY - 2016
SP - 321
EP - 329
DO - 10.5220/0005797703210329

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.