Directorio | Informática | Programación | Lenguajes de Programación | Infer

Categorías

Enlaces a sitios
ACM Digital Library Infer Research Papers Research publications on separation logic and automated static program verification	GitHub Infer Source Repository Official Meta open-source repository maintaining the Infer static analyzer
IEEE Xplore Program Verification Papers Academic literature on industrial static analysis tooling for mobile software	Infer Project - A Statically-typed Dialect of Scheme Infer combines many of the best features of Scheme and ML
Meta Engineering Blog on Infer Engineering articles published by Meta detailing bug detection algorithms in Infer
Meta Infer Static Analyzer Official Site Official website and documentation for Infer, a static analysis tool for Java, C++, and Objective-C
PyTorch and Infer Integration Docs Machine learning framework documentation referencing code quality tools
Springer Link Formal Methods Chapters Academic book chapters covering bi-abduction and shape analysis algorithms
Stack Overflow Infer Tag Community Q&A forum for troubleshooting static analysis rules in Meta Infer
Wikipedia Infer Static Analyzer Encyclopedic entry detailing Meta"s static program analysis tool