Pascal

Pascal is a classical procedural programming language that facilitates structured programming. It advantages include english-like elegant source code style, a plethora of data types and a broad basis of implementations on both virtual and physical machines. Most modern Pascal compilers implement ObjectPascal, an extension for object-oriented programming that has first been proposed by Apple and that was later augmented by Borland.

There are numerous Pascal dialects for embedded systems:

Overview of Pascal compilers for embedded systems

Compiler	Company	License	Development platform	Target platform	Comments
Free Pascal	Free Pascal team	GPL, LGPL	Linux, Mac OS X, Win32	ARM systems including Raspberry Pi	Mature, stable version
Free Pascal	Free Pascal team	GPL, LGPL	Linux, Mac OS X, Win32	Atmel AVR	Experimental
Lazarus	Lazarus team	GPL, LGPL	Linux, Mac OS X, Win32	ARM systems including Raspberry Pi	GUI-based IDE for Free Pascal
Pascal-scm	E-LAB Computers	proprietary	Win32	Atmel AVR	Demo version available, standard version for ATMega8/88 free
MikroPascal for AVR	Mikroelektronika	proprietary	Win32	Atmel AVR	2K Demo version available
PasAVR	Vogelaar Electronics	proprietary	Win32	DelphiStamp	Cross-Compiler for Object Pascal