mobile c c++ java sql perl shell html latex operating systems linux windows databases mysql postgresql artificial intelligence software framework terminal server file system parsing natural language processing ambiguity testing anomaly detection database oracle support machine learning r algorithm data mining algorithms program analysis formal specification