Java («джава», «ява») — строго типизированный объектно-ориентированный язык программирования. Реализует в основном императивную парадигму программирования. Начиная с 8 версии в языке появляются элементы, свойственные функциональному программированию. Но в целом Java, безусловно, императивный язык.

Исходный код, написанный на Java, компилируется в т.н. байт-код, набор инструкций, который может выполнять Виртуальная джава машина (JVM, Java Virtual Machine). В результате такого подхода разработчик прикладного ПО на Java программирует Виртуальную машину, которая в свою очередь преобразовывает инструкции в код, понятный конкретному процессору, и системные вызовы, понятные конкретной ОС. Такой подход значительно увеличивает переносимость ПО между различным железом и операционными системами, а также повышает надёжность программного обеспечения, уменьшая количество способов, которым разработчик может выстрелить себе в ногу.

Разумеется, подобная универсальность и переносимость становятся возможны только благодаря тому, что под каждую процессорную архитектуру и операционную систему будет собрана соответствующая версия JVM. Впрочем проблем с этим не наблюдается.

Изначально Java была разработана компанией Sun Microsystems, затем была приобретена компанией Oracle.

Хотя разработка JVM и языка программирования Java с точки зрения правообладателя (сейчас Oracle'а) идут рука об руку. В настоящее время заслуживают внимание как минимум четыре языка программирования, для которых существуют компиляторы в байт-код, понятный JVM:

• Собственно Java
• Kotlin
• Scala
• Groovy

• Разработка корпоративных приложений
• Разработка мобильных приложений