Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.

Jan Smans Bart Jacobs Frank Piessens

Published in: ECOOP (2009)

Keyphrases

image processing
logic programming
dynamic environments
frame rate
real time
databases
real world
machine learning
genetic algorithm
image segmentation
high speed