Implementazione di un'interfaccia grafica per la scrittura di contratti legali nel linguaggio Stipula

Stipula è un linguaggio di programmazione che permette la scrittura di contratti legali attraverso un limitato insieme di astrazioni che ne catturano esattamente gli elementi distintivi. Questa tesi ha come obiettivo il mostrare come un'interfaccia grafica possa essere un utile strumento per permettere di scrivere contratti nel linguaggio Stipula. Vedremo come prima cosa la struttura e le funzionalità del linguaggio Stipula, per poi approfondire l’interfaccia. Nell'ultimo capitolo vedremo un’estensione del linguaggio e come questo è stato integrato nell’interfaccia.