Clog: A Declarative Language for C Static Code Checkers.

Alexandru Dura Christoph Reichenbach

Published in: CC (2024)

Keyphrases

declarative language
deductive databases
dynamic analysis
source code
modeling language
static analysis
real time
data model
game playing
neural network
code generation
information systems
case study
knowledge representation
programming language
database
business processes
artificial intelligence