Guarded Program Transformations Using JTL.

Tal Cohen Joseph Gil Itay Maman

Published in: TOOLS (46) (2008)

Keyphrases

computer programs
special case
fixed point
databases
artificial intelligence
control program
computer vision
multi agent
data model
software engineering
program execution