We present an automated approach to verify the correctness of programming assignments,
such as the ones that arise in a functional programming course. Our approach takes as input …

Improving code quality without changing its functionality, eg, by refactoring or optimization, is
an everyday programming activity. Good programming practice requires that each such …

Automated and reliable software verification is of crucial importance for development of high-
quality software. Formal methods can be used for finding different kinds of bugs without …

Computational complexity analysis plays an essential part in the education of computer and
software engineers. For that reason, it is carefully studied in programming courses, as well …

This is an Innovative Practice, Work-in-Progress paper focusing on automated marking. The
increase in student numbers and decrease in exam performance for a course taught at …

We report our experience in enhancing automated grading in a functional programming
course using formal verification. In our approach, we deploy a verifier for Scala programs to …

La enseñanza y aprendizaje en el contexto educativo ha requerido a través del tiempo de
diferentes esfuerzos por parte de los estudiantes y de los docentes para que se pueda dar …

Proving code equivalence in database-driven applications and SPARQL queries Page 1
Proving code equivalence in database-driven applications and SPARQL queries Milena …

The query containment problem is a very important computer science problem, originally
defined for relational queries. With the growing popularity of theSPARQLquerylanguage, it …

Проблем садржаности упита један је од фундаменталних проблема у рачунар-ским
наукама, иницијално дефинисан за релационе упите. Са растућом популарношћу …