Paquet : maude (3.4-1 et autres)
Liens pour maude
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source maude :
Responsables :
- Debian Med Packaging Team (Page QA, Archive du courrier électronique)
- Scott Christley (Page QA)
- Andreas Tille (Page QA)
Ressources externes :
- Page d'accueil [maude.cs.uiuc.edu]
Paquets similaires :
cadriciel logique de haute performance
Maude est un langage et un système réflexif haute performance gérant à la fois la spécification et la programmation de la réécriture logique et équationnelle d'une large gamme d'applications. Maude a été influencé dans une large mesure par le langage OBJ3, qui peut être considéré comme un sous-langage de logique équationnelle. Outre la prise en charge de la spécification et la programmation équationnelle, Maude gère aussi la réécriture de calcul logique.
La réécriture logique suit une logique de changements concurrents qui peut traiter naturellement l'état et des calculs concurrents. Il comporte des propriétés intéressantes, en tant que cadriciel sémantique généraliste, pour donner des sémantiques d'exécutable à une large gamme de langages et de modèles de concurrence. En particulier, il gère très bien le calcul concurrent orienté objet. C'est parce qu'une réécriture logique donne un bon cadriciel sémantique que cela donne aussi un bon cadriciel logique, c'est-à-dire une métalogique où de nombreuses autres logiques peuvent être représentées et exécutées naturellement.
Maude gère de manière systématique et efficace la réflexion logique. Cela rend Maude notablement extensible et puissant, gérant une algèbre extensible d'opérations de création de module et permettant de faire beaucoup de métaprogrammation d’applications de métalangage avancées. En effet, parmi les applications les plus intéressantes de Maude, on trouve les applications en métalangage, où Maude est utilisé pour créer des environnements exécutables pour une variété de logiques, de démonstrateurs automatiques de théorèmes, de langages et de modèles de calcul.
Maude trouve tout son intérêt auprès de la communauté biomédicale pour modéliser et analyser des systèmes biologiques.
Autres paquets associés à maude
|
|
|
|
-
- dep: libbdd0c2 [alpha, hppa, m68k, sh4, x32]
- bibliothèque de diagramme de décision binaire –⋅exécutable
- dep: libbdd0c2 (>= 2.4+dfsg) [non alpha, hppa, m68k, sh4, x32]
-
- dep: libc6 (>= 2.16) [hppa]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.27) [sh4]
- dep: libc6 (>= 2.29) [x32]
- dep: libc6 (>= 2.33) [m68k]
- dep: libc6 (>= 2.34) [non alpha, hppa, ia64, m68k, sh4, x32]
-
- dep: libc6.1 (>= 2.33) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- bibliothèque de prise en charge de GCC
-
- dep: libgcc1 (>= 1:3.4) [sh4]
- Paquet indisponible
-
- dep: libgcc4 (>= 4.1.1) [hppa]
- Paquet indisponible
-
- dep: libgmp10 [hppa, sh4, x32]
- Bibliothèque arithmétique à multi-précision
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [alpha, m68k]
- dep: libgmp10 (>= 2:6.3.0+dfsg) [non alpha, hppa, m68k, sh4, x32]
-
- dep: libgmpxx4ldbl [hppa, sh4]
- bibliothèque arithmétique multiprécision - points d'entrée C++
- dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg) [x32]
- dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1) [alpha, m68k]
- dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [non alpha, hppa, m68k, sh4, x32]
-
- dep: libncurses6 (>= 6) [hppa, sh4]
- Bibliothèques partagées pour l'utilisation d'un terminal
-
- dep: libsigsegv2 (>= 2.9)
- bibliothèque de gestion des erreurs de pagination de façon portable
-
- dep: libstdc++6 (>= 11) [alpha, m68k]
- bibliothèque standard C++ de GNU v3
- dep: libstdc++6 (>= 13.1) [non alpha, 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) [alpha, m68k]
-
- dep: libtecla1t64 (>= 1.6.3) [non alpha, hppa, m68k, sh4, x32]
- interactive command line editing facilities
-
- dep: libtinfo6 (>= 6) [hppa, sh4, sparc64]
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
-
- dep: libunwind8 [ia64]
- bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
Télécharger maude
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha (portage non officiel) | 3.2-2 | 959,4 ko | 3 922,0 ko | [liste des fichiers] |
| amd64 | 3.4-1 | 1 158,9 ko | 3 703,0 ko | [liste des fichiers] |
| arm64 | 3.4-1 | 1 032,1 ko | 3 667,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 2.7-2+b1 | 727,8 ko | 2 434,0 ko | [liste des fichiers] |
| ia64 (portage non officiel) | 3.4-1 | 1 331,1 ko | 7 386,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 3.2-2 | 779,1 ko | 2 876,0 ko | [liste des fichiers] |
| mips64el | 3.4-1 | 1 048,1 ko | 4 725,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 3.4-1 | 1 166,6 ko | 5 016,0 ko | [liste des fichiers] |
| ppc64el | 3.4-1 | 1 196,7 ko | 4 691,0 ko | [liste des fichiers] |
| riscv64 | 3.4-1 | 1 169,6 ko | 2 983,0 ko | [liste des fichiers] |
| s390x | 3.4-1 | 1 180,5 ko | 4 039,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 2.7-2+b1 | 762,1 ko | 2 060,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 3.4-1 | 891,3 ko | 4 320,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 3.1-2 | 964,4 ko | 2 947,0 ko | [liste des fichiers] |