Sound Regular Corecursion in coFJ.

Davide Ancona Pietro Barbieri Francesco Dagnino Elena Zucca

Published in: ECOOP (2020)

Keyphrases

database
genetic algorithm
artificial intelligence
information systems
e learning
multi agent
cooperative