Son programables en multitud de lenguajes, pero digamos que el esencial es el ensamblador ya que es el que está a un solo paso arriba del lenguaje máquina (0´s y 1´s). La diferencia de esta serie es, como mencionas, su arquitectura que está más optimizada para procesar más fácilmente los códigos generados por lenguajes de alto nivel. Por mencionar un ejemplo, en la serie 16F la RAM estaba segmentada en bloques haciendo que el algoritmo para C sea más complejo (y tardado), en cambio en la serie 18 se elimina esta restricción ya que la RAM es un solo bloque (con ciertas peculiaridades de más).
Pero es básicamente eso, no si se sea el caso, pero por ejemplo en los MCU's de Texas instruments (MSP's) existe un registro generador de variables que según he leído es utilizado por lenguajes de alto nivel para agilizar el procesamiento del código generado
