Generic Encodings and Static Analysis of Constructor Rewriting Systems.

Horatiu Cirstea Pierre Lermusiaux Pierre-Etienne Moreau

Published in: SYNASC (2023)

Keyphrases

static analysis
rewriting systems
dynamic analysis
source code
rewriting rules
symbolic execution
regular expressions
abstract interpretation
java card
knowledge base
databases
high level
conceptual model
rewrite rules