Login / Signup

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics.

Andrei-Sebastian BuruianaStefan Ciobaca
Published in: WPTE@FSCD (2018)
Keyphrases
  • specification language
  • transformation rules
  • operational semantics
  • logical language
  • correctness criterion
  • intended meaning
  • natural language
  • logic programming
  • conceptual graphs
  • logic programming language