Projecting Functional Models of Imperative Programs.

Mark Harman Sebastian Danicic

Published in: ACM SIGPLAN Notices (1993)

Keyphrases

high level
imperative programs
dynamic logic
plan execution
database
artificial intelligence
mobile devices
integrity constraints
computer vision
management system
logic programming
context aware
ambient intelligence