On Reachability in Parameterized Phaser Programs.

Zeinab Ganjei Ahmed Rezine Ludovic Henrio Petru Eles Zebo Peng

Published in: TACAS (1) (2019)

Keyphrases

early stage
databases
computer programs
answer sets
prolog programs
automatic programming
fixpoint
digital libraries
machine learning
evolutionary algorithm
three dimensional
image processing
information retrieval
programming environment
neural network
control structures
real time