C Analyzer : A Static Program Analysis Tool for C Programs.

Rajendra Kumar Solanki

Published in: CoRR (2024)

Keyphrases

recursive programs
analysis tool
logic programs
logic programming
real time
data sets
genetic algorithm
search engine
stable model semantics
prolog programs
functional programs
hardware designs