Login / Signup

Antichains for the Verification of Recursive Programs.

Lukás HolíkRoland Meyer
Published in: NETYS (2015)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • model checking
  • logic programming
  • database systems
  • metamodel
  • access methods