Package: maude (3.4-1 and others)

[ Source: maude  ]

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

Other Packages Related to maude

• dep: libbdd0c2 (>= 2.4+dfsg)

  Binær beslutningsdiagrambibliotek - kørselstid

• dep: libc6 (>= 2.38)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC støttebibliotek

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Bibliotek til multipræcision i aritmetik

• dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

  Flerpræcisions aritmetisk bibliotek (C++-bindinger)

• dep: libsigsegv2 (>= 2.9)

  Bibliotek for håndtering af sidefejl på en flytbar måde

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ bibliotek v3

• dep: libtecla1t64 (>= 1.6.3)

  interactive command line editing facilities

Download maude

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
arm64	3.4-1+b1	1,045.5 kB	3,668.0 kB	[list of files]