cc⊤ on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions

  • Johannes Oetsch
  • Martina Seidl
  • Hans Tompits
  • Stefan Woltran
Conference paper

DOI: 10.1007/978-3-642-04238-6_32

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5753)
Cite this paper as:
Oetsch J., Seidl M., Tompits H., Woltran S. (2009) cc⊤ on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. In: Erdem E., Lin F., Schaub T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2009. Lecture Notes in Computer Science, vol 5753. Springer, Berlin, Heidelberg

Abstract

The tool cc⊤ is an implementation for testing various parameterised notions of program correspondence between logic programs under the answer-set semantics, based on reductions to quantified propositional logic. One such notion is relativised uniform equivalence with projection, which extends standard uniform equivalence via two additional parameters: one for specifying the input alphabet and one for specifying the output alphabet. In particular, the latter parameter is used for projecting answer sets to the set of designated output atoms, i.e. ignoring auxiliary atoms during answer-set comparison. In this paper, we discuss an application of cc⊤ for verifying the correctness of students’ solutions drawn from a laboratory course on logic programming, employing relativised uniform equivalence with projection as the underlying program correspondence notion. We complement our investigation by discussing a performance evaluation of cc⊤, showing that discriminating among different back-end solvers for quantified propositional logic is a crucial issue towards optimal performance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Johannes Oetsch
    • 1
  • Martina Seidl
    • 2
  • Hans Tompits
    • 1
  • Stefan Woltran
    • 1
  1. 1.Institut für InformationssystemeTechnische Universität WienViennaAustria
  2. 2.Institut für SoftwaretechnikTechnische Universität WienViennaAustria

Personalised recommendations