C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Analysis of Imperative Programs through Analysis of Constraint Logic Programs.
Julio C. Peralta
John P. Gallagher
Hüseyin Saglam
Published in:
SAS (1998)
Keyphrases
</>
logic programs
logic programming
integrity constraints
mobile robot
general purpose