Package: maude (3.4-1 and others)

[ Source: maude  ]

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.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to maude

• dep: libbdd0c2 [hppa, m68k, sh4, x32]

  Binary decision-diagram library (runtime)

  dep: libbdd0c2 (>= 2.4+dfsg) [not hppa, m68k, sh4, x32]

• dep: libc6 (>= 2.16) [hppa]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.27) [sh4]

  dep: libc6 (>= 2.29) [x32]

  dep: libc6 (>= 2.33) [m68k]

  dep: libc6 (>= 2.34) [amd64, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64]

  dep: libc6 (>= 2.38) [arm64]

• dep: libc6.1 (>= 2.34) [alpha]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

  dep: libgcc-s1 (>= 4.2) [ia64]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  libreria di supporto a GCC

• dep: libgcc1 (>= 1:3.4) [sh4]

  Package not available

• dep: libgcc4 (>= 4.1.1) [hppa]

  Package not available

• dep: libgmp10 [hppa, sh4, x32]

  libreria aritmetica a precisione multipla

  dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, m68k, sh4, x32]

• dep: libgmpxx4ldbl [hppa, sh4]

  libreria aritmetica a precisione multipla (collegamenti C++)

  dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg) [x32]

  dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1) [m68k]

  dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [not hppa, m68k, sh4, x32]

• dep: libncurses6 (>= 6) [hppa, sh4]

  librerie condivise per la gestione del terminale

• dep: libsigsegv2 (>= 2.9)

  libreria per gestire i page fault in un modo portabile

• dep: libstdc++6 (>= 11) [m68k]

  libreria GNU Standard C++, versione 3

  dep: libstdc++6 (>= 13.1) [not hppa, m68k, sh4, x32]

  dep: libstdc++6 (>= 5.2) [hppa, sh4, x32]

• dep: libtecla1 [hppa, sh4, x32]

  interactive command line editing facilities

  dep: libtecla1 (>= 1.6.3) [m68k]

• dep: libtecla1t64 (>= 1.6.3) [not hppa, m68k, sh4, x32]

  interactive command line editing facilities

• dep: libtinfo6 (>= 6) [hppa, sh4, sparc64]

  libreria condivisa di basso livello terminfo per la gestione del terminale

• dep: libunwind8 [ia64]

  libreria per tracciare la catena di chiamate di un programma - runtime

Download maude

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.4-1	1,011.6 kB	4,119.0 kB	[list of files]
amd64	3.4-1	1,158.9 kB	3,703.0 kB	[list of files]
arm64	3.4-1+b1	1,045.5 kB	3,668.0 kB	[list of files]
hppa (unofficial port)	2.7-2+b1	727.8 kB	2,434.0 kB	[list of files]
ia64 (unofficial port)	3.4-1	1,331.1 kB	7,386.0 kB	[list of files]
m68k (unofficial port)	3.2-2	779.1 kB	2,876.0 kB	[list of files]
mips64el	3.4-1	1,048.1 kB	4,725.0 kB	[list of files]
ppc64 (unofficial port)	3.4-1	1,166.6 kB	5,016.0 kB	[list of files]
ppc64el	3.4-1	1,196.7 kB	4,691.0 kB	[list of files]
riscv64	3.4-1	1,169.6 kB	2,983.0 kB	[list of files]
s390x	3.4-1	1,180.5 kB	4,039.0 kB	[list of files]
sh4 (unofficial port)	2.7-2+b1	762.1 kB	2,060.0 kB	[list of files]
sparc64 (unofficial port)	3.4-1	891.3 kB	4,320.0 kB	[list of files]
x32 (unofficial port)	3.1-2	964.4 kB	2,947.0 kB	[list of files]