Paquet : maude (3.2-2)

[ Paquet source : maude  ]

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

• dep: libbdd0c2

  bibliothèque de diagramme de décision binaire –⋅exécutable

• dep: libc6 (>= 2.33)

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

• dep: libgcc-s1 (>= 3.0) [non armel, armhf, i386, mipsel]

  bibliothèque de prise en charge de GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

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

  dep: libgcc-s1 (>= 7) [i386]

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Bibliothèque arithmétique à multi-précision

• dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)

  bibliothèque arithmétique multiprécision - points d'entrée C++

• dep: libsigsegv2 (>= 2.9)

  bibliothèque de gestion des erreurs de pagination de façon portable

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

  bibliothèque standard C++ de GNU v3

• dep: libtecla1 (>= 1.6.3)

  interactive command line editing facilities

Télécharger maude

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 039,4 ko	3 374,0 ko	[liste des fichiers]
arm64	928,0 ko	3 214,0 ko	[liste des fichiers]
armel	827,7 ko	2 894,0 ko	[liste des fichiers]
armhf	869,8 ko	2 126,0 ko	[liste des fichiers]
i386	1 120,8 ko	3 576,0 ko	[liste des fichiers]
mips64el	963,7 ko	4 398,0 ko	[liste des fichiers]
mipsel	966,8 ko	4 155,0 ko	[liste des fichiers]
ppc64el	1 095,6 ko	4 430,0 ko	[liste des fichiers]
s390x	916,3 ko	3 562,0 ko	[liste des fichiers]