Cylindric Kleene Lattices for Program Construction.

Brijesh Dongol Ian J. Hayes Larissa Meinicke Georg Struth

Published in: MPC (2019)

Keyphrases

mobile robot
regular expressions
propositional logic
computer programs
program execution
static analysis
construction process
information retrieval
website
multiscale
evolutionary algorithm
practical experience