Snap! is a visual programming language aimed at high school students . We provide support both for static and dynamic verification of Snap! programs . Special attention is given to the error messaging, to make this as intuitive as possible . We present how we developedprototypal program verification support for Snap! in this paper . The paper is published in Computer Science, published by Springer Springer, October 26, 2013 . Back to Mail Online home . Back To the page you came from . .

Author(s) : Marieke Huisman, Raúl E. Monti

Links : PDF - Abstract

Code :

Keywords : snap - support - springer - page - verification -

Leave a Reply

Your email address will not be published. Required fields are marked *