Linguaggi di programmazione

Dagli aspetti fondazionali dei linguaggi di programmazione, basati su modelli matematici e logici, ai diversi paradigmi per progettare e realizzare sistemi software.

Nell'ambito dei linguaggi di programmazione, il DISI è impegnato su numerosi fronti. Ad esempio, i linguaggi per l'intelligenza artificiale sono tipicamente basati su paradigmi di programmazione dichiarativi che includono meccanismi di prima classe per la computazione simbolica e costrutti per la prototipazione rapida. Inoltre, il DISI è attivo nella ricerca su linguaggi a vincoli e paradigmi di computazione basati su constraint satisfaction/optimization che includono sempre più lo sviluppo di paradigmi ibridi che affianchino le classiche tecniche di intelligenza artificiale a tecniche di programmazione matematica e ricerca operativa. Inoltre una intensa attività di ricerca riguarda la programmazione orientata agli agenti, studiata come un paradigma di programmazione di alto livello per la progettazione e realizzazione di sistemi concorrenti e distribuiti, come una evoluzione concettuale della programmazione concorrente a oggetti e della programmazione basata su attori.

Dal punto di vista fondazionale, si utilizzano modelli matematici quali il lambda-calcolo o i calcoli di processi al fine di sviluppare teorie generalmente applicabili ai linguaggi di programmazione.