Login / Signup

Type Systems for the Relational Verification of Higher Order Programs (Invited Talk).

Marco Gaboardi
Published in: FSCD (2017)
Keyphrases
  • higher order
  • invited talk
  • pairwise
  • computer systems
  • expert systems
  • data model
  • management system
  • formal methods
  • database
  • relational databases
  • xml documents
  • fuzzy logic
  • distributed systems
  • symbolic execution