Cross-platform software
Procedural programming languages
Squeak
First-order logic
SQL
C
Computing
Software engineering
Computer programming