Paquet : maude (2.7-2 et autres)

Liens pour maude

Ressources Debian :

Télécharger le paquet source maude :

Responsables :

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.

Étiquettes: Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses

Autres paquets associés à maude

dépendances

recommandations

suggestions

enhances

dep: libbdd0c2

bibliothèque de diagramme de décision binaire –⋅exécutable
dep: libc6 (>= 2.16) [non arm64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.17) [arm64]
dep: libgcc1 (>= 1:3.0) [amd64, arm64]

bibliothèque de prise en charge de GCC

dep: libgcc1 (>= 1:3.5) [armhf]

dep: libgcc1 (>= 1:7) [i386]
dep: libgmp10

Bibliothèque arithmétique à multi-précision
dep: libgmpxx4ldbl

bibliothèque arithmétique multiprécision - points d'entrée C++
dep: libncurses6 (>= 6)

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 (>= 5.2)

bibliothèque standard C++ de GNU v3
dep: libtecla1

interactive command line editing facilities
dep: libtinfo6 (>= 6)

bibliothèque partagée terminfo de bas niveau pour manipuler le terminal

Télécharger maude

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2.7-2+b2	802,1 ko	2 466,0 ko	[liste des fichiers]
arm64	2.7-2+b2	754,4 ko	2 498,0 ko	[liste des fichiers]
armhf	2.7-2+b2	667,6 ko	1 501,0 ko	[liste des fichiers]
i386	2.7-2+b2	856,7 ko	2 596,0 ko	[liste des fichiers]