Monoidics
Encyclopedia
Monoidics is the commercial developer of INFER™, an automatic static analysis tool aimed at proving memory safety for C
and C++
.
The company was founded in 2009 and has offices in the United States, the United Kingdom, and Japan.
C (programming language)
C is a general-purpose computer programming language developed between 1969 and 1973 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system....
and C++
C++
C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell...
.
The company was founded in 2009 and has offices in the United States, the United Kingdom, and Japan.
External links
- Monoidics company website
- Monoidics (facebook) facebook page