• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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