Symbolic Manipulation of Code Properties.

Stavros Konstantinidis Casey Meijer Nelma Moreira Rogério Reis

Published in: J. Autom. Lang. Comb. (2018)

Keyphrases

high level
structural properties
real world
database
three dimensional
operating system
symbolic data