Package: maude (3.4-1) [debports]

infrastruttura logica ad alte prestazioni

Maude è un linguaggio riflessivo e un sistema ad alte prestazioni che gestisce la specificazione di logica sia equazionale sia con riscrittura e la programmazione per una vasta gamma di applicazioni. Maude è stato influenzato in modo importante dal linguaggio OBJ3 che può essere considerato un sottolinguaggio di logica equazionale. Oltre a gestire la specificazione e la programmazione equazionale, Maude gestisce anche il calcolo con logica con riscrittura.

La logica con riscrittura è una logica di cambiamento concorrente che può naturalmente affrontare stati e calcoli concorrenti. Ha buone proprietà come infrastruttura semantica generica per fornire semantiche eseguibili ad una vasta gamma di linguaggi e modelli di concorrenza. In particolare, gestisce molto bene calcoli concorrenti orientati agli oggetti. Questi stessi motivi fanno della logica con riscrittura una buona infrastruttura logica, cioè una metalogica in cui molte altre logiche possono essere naturalmente rappresentate ed eseguite.

Maude gestisce in modo sistematico ed efficiente la riflessione logica. Ciò rende Maude particolarmente estensibile e potente, gestisce un'algebra estensibile di operazione di composizione di moduli e permette molte applicazioni avanzate di metaprogrammazione e metalinguaggio. Difatti, alcune delle applicazioni più interessanti di Maude sono applicazioni con metalinguaggi, in cui Maude viene usato per creare ambienti eseguibili per logiche diverse, dimostratori di teoremi, linguaggi e modelli di calcolo.

Maude è interessante per la comunità biomedica per fare modelli e analisi di sistemi biologici.

This page is also available in the following languages (How to set the default document language):