Attribute-based Checking of C++ Move Semantics.

Áron Baráth Zoltán Porkoláb

Published in: SQAMIA (2014)

Keyphrases

formal semantics
neural network
information systems
logic programming
argumentation semantics
information retrieval
case study
semantic information
graphical representation
semantic representation
logical framework
active rules