Package: maude (2.7-2 and others) [debports]
Links for maude
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [maude.cs.uiuc.edu]
Similar packages:
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.
Other Packages Related to maude
|
|
|
|
-
- dep: libbdd0c2
- Binær beslutningsdiagrambibliotek - kørselstid
-
- dep: libc6 (>= 2.27)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.4)
- Package not available
-
- dep: libgmp10
- Bibliotek til multipræcision i aritmetik
-
- dep: libgmpxx4ldbl
- Flerpræcisions aritmetisk bibliotek (C++-bindinger)
-
- dep: libncurses6 (>= 6)
- delte biblioteker til terminalhåndtering
-
- dep: libsigsegv2 (>= 2.9)
- Bibliotek for håndtering af sidefejl på en flytbar måde
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ bibliotek v3
-
- dep: libtecla1
- interactive command line editing facilities
-
- dep: libtinfo6 (>= 6)
- delt terminfo-bibliotek på lavt niveau for terminalhåndtering
Download maude
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
sh4 (unofficial port) | 2.7-2+b1 | 762.1 kB | 2,060.0 kB | [list of files] |