Login / Signup

Analysis of Imperative Programs through Analysis of Constraint Logic Programs.

Julio C. PeraltaJohn P. GallagherHüseyin Saglam
Published in: SAS (1998)
Keyphrases
  • logic programs
  • logic programming
  • integrity constraints
  • mobile robot
  • general purpose