Il s'agit de la commande maude qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
Maude - Un cadre logique performant
SYNOPSIS
maude [Options] [fichiers]
DESCRIPTION
Cette page de manuel documente brièvement les Maude interprète. Cette page de manuel a été écrite
pour la distribution Debian car le programme original n'a pas de page de manuel.
Maude est un langage et un système réflexifs haute performance prenant en charge à la fois les équations et les
réécriture des spécifications logiques et de la programmation pour un large éventail d'applications. Maude a
influencé de manière importante par le langage OBJ3, qui peut être considéré comme un
sous-langage de logique équationnelle. En plus de prendre en charge la spécification et la programmation équationnelles,
Maude prend également en charge le calcul de la logique de réécriture.
La logique de réécriture est une logique de changement simultané qui peut naturellement traiter l'état et
avec des calculs concurrents. Il a de bonnes propriétés en tant que cadre sémantique général pour
donnant une sémantique exécutable à un large éventail de langages et de modèles de concurrence. Dans
en particulier, il supporte très bien le calcul orienté objet concurrent. Les mêmes raisons
faire de la logique de réécriture un bon cadre sémantique en faire aussi un bon cadre logique,
c'est-à-dire une métalogique dans laquelle de nombreuses autres logiques peuvent être naturellement représentées et exécutées.
Maude soutient de manière systématique et efficace la réflexion logique. Cela fait Maude
remarquablement extensible et puissant, prend en charge une algèbre extensible de composition de module
opérations et permet de nombreuses applications avancées de métaprogrammation et de métalangage.
En effet, certaines des applications les plus intéressantes de Maude sont des applications en métalangage,
dans lequel Maude est utilisé pour créer des environnements exécutables pour différentes logiques, théorème
prouveurs, langages et modèles de calcul.
--Aidez-moi afficher les informations d'aide
--version
Afficher le numéro de version
-pas-de-prélude
Ne pas lire dans le prélude standard
-pas-bannière
Ne pas afficher la bannière au démarrage
-pas de conseil
Aucun avis au démarrage
-pas de mixfix
Ne pas utiliser la notation mixfix pour la sortie
-pas d'emballage
Ne pas enrouler automatiquement la ligne pour la sortie
-ansi-couleur
Utiliser des séquences de contrôle ANSI
-pas-ansi-couleur
Ne pas utiliser de séquences de contrôle ANSI
-tecla Utiliser l'édition de la ligne de commande tecla
-non-tecla
Ne pas utiliser l'édition de ligne de commande tecla
-grouper Exécuter en mode batch
-interactif
Exécuter en mode interactif
-graine-aléatoire=
Définir la graine pour le générateur de nombres aléatoires
-xml-log=
Définir le fichier dans lequel produire un journal XML
DROIT D'AUTEUR
Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, États-Unis.
Copyright (c) 1997 - 2002, Makoto Matsumoto et Takuji Nishimura,
Copyright (c) 2000 - 2003, Richard J.Wagner
DE LA LIGNE BOGUES
Envoyez les rapports de bogues à : [email protected]
Utilisez maude en ligne en utilisant les services onworks.net
