Static analyses for Stratego programs

Model driven software development is gaining momentum in the software engineering world. One approach to model driven software development is the design and development of domain-specific languages allowing programmers and users to spend more time on their core business and less on addressing non problem- specific issues. Language workbenches...

LabBack: An extendible platform for secure and robust in-the-cloud automatic assessment of student programs

In software engineering education manual assessment of students’ programs is a time consuming endeavour that does not scale to high numbers of pupils or to large amounts of practice material. Numerous automatic grading programs, aim- ing to alleviate this problem, have been developed since 1960. These, however, only support fixed programming...