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 .http://www.mailonline.com/newsquiz/article-article-post-newsletter-signal-check-in-the-next-page-final-line .

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

Links : PDF - Abstract

Code :
Coursera

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

Leave a Reply

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