Automatic Checking of the Usage of the C++11 Move Semantics.

Áron Baráth Zoltán Porkoláb

Published in: Acta Cybern. (2015)

Keyphrases

semantic information
semi automatic
fully automatic
evolutionary algorithm
data driven
logic programming
database
neural network
information systems
default reasoning
formal semantics
usage patterns