Package: maude (3.4-1) [debports]

[ Source:  ]

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.

Other Packages Related to maude

• dep: libbdd0c2 (>= 2.4+dfsg)

  Binary decision-diagram library (runtime)

• dep: libc6 (>= 2.34)

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

• dep: libgcc-s1 (>= 3.0)

  libreria di supporto a GCC

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

  libreria aritmetica a precisione multipla

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

  libreria aritmetica a precisione multipla (collegamenti C++)

• dep: libsigsegv2 (>= 2.9)

  libreria per gestire i page fault in un modo portabile

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

  libreria GNU Standard C++, versione 3

• dep: libtecla1t64 (>= 1.6.3)

  interactive command line editing facilities

Download maude

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	1,166.6 kB	5,016.0 kB	[list of files]