Package: maude (3.1-2)

Højtydende logisk ramme

Maude er et højtydende reflekterende sprog og system, der understøtter både equational og omskrivning af logisk specifikation og programmering for en bred vifte af programmer. Maude er blevet påvirket i væsentlig grad af OBJ3-sproget, hvilket kan betragtes som et equational logik-undersprog. Ud over at støtte equational specifikation og programmering understøtter Maude også omskrivning af logikberegning.

Omskrivning af logik er en logik af samtidige ændringer, som naturligt kan håndtere sig med tilstanden og de samtidige beregninger. Programmet har gode egenskaber som en generel semantisk ramme til at give eksekverbar semantik til en lang række sprog og modeller af samtidighed. Specielt understøttes samtidig objektorienteret beregning rigtig godt. De samme grunde som gør omskrivning af logik til en god semantisk ramme gør det også til en god logisk ramme, d.v.s. en metalogik hvor mange andre logikker kan repræsenteres naturligt og køres.

Maude understøtter på en systematisk og effektiv måde logisk refleksion. Dette gør Maude bemærkelsesværdig udvidelig og funktionsrig, understøtter en udvidelig algebra af modulsammensætningsoperationer og giver mange avancerede metaprogrammerings- og metasprog-anvendelser. Faktisk er nogle af de mest interessante anvendelser af Maude metasprog-programmer, hvor Maude bruges til at oprette eksekverbare miljøer for forskellige logikker, læresætningsbeviser, sprog og beregningsmodeller.

Maude er af interesse for det biomedicinske samfund til modellering og analyse af biologiske systemer.

Tags: Interface Toolkit: Ncurses TUI

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