Infer also has a domain abstract language for specific syntax tree linting , based on ideas from Model Checking for Computation Tree Logic . Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .
Infer juga mempunyai bahasa abstrak domain untuk linting pokok sintaks tertentu, berdasarkan idea-idea dari Model Checking for Computation Tree Logic. Infer juga mempunyai domain - abstrak - bahasa untuk pokok sintaks tertentu - linting, berdasarkan idea-idea dari Model Checking for Computation Tree Logic.