How to Install and Uninstall maude Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 23,2024

1. Install "maude" package

Learn how to install maude on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                maude
            
                    
    
    Copied

2. Uninstall "maude" package

Learn how to uninstall maude on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                maude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the maude package on Ubuntu 21.10 (Impish Indri)

Package: maude
Architecture: amd64
Version: 3.1-2
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Med Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3253
Depends: libbdd0c2, libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6 (>= 5.2), libtecla1
Filename: pool/universe/m/maude/maude_3.1-2_amd64.deb
Size: 1026164
MD5sum: 05961f20aab6da59b2742a1b296b12db
SHA1: 36a2d6a17e7252d9e4aace7666077fdee780140d
SHA256: c224f73ebea1898d685561d59089a66cee0e0c8fce0e33dd480ca834248e5312
SHA512: cf829172b5ddc6c33b24c85356848e1c10c3311d5dbc2f488b285fc76fbade6f7f713e545c9edff8453a189d3150b163860e75cac4b2938f755e06f6df44b40d
Homepage: http://maude.cs.uiuc.edu
Description-en: high-performance logical framework
Maude is a high-performance reflective language and system supporting
both equational and rewriting logic specification and programming for
a wide range of applications. Maude has been influenced in important
ways by the OBJ3 language, which can be regarded as an equational
logic sublanguage. Besides supporting equational specification and
programming, Maude also supports rewriting logic computation.
.
Rewriting logic is a logic of concurrent change that can naturally
deal with state and with concurrent computations. It has good
properties as a general semantic framework for giving executable
semantics to a wide range of languages and models of concurrency. In
particular, it supports very well concurrent object-oriented
computation. The same reasons making rewriting logic a good semantic
framework make it also a good logical framework, that is, a metalogic
in which many other logics can be naturally represented and executed.
.
Maude supports in a systematic and efficient way logical
reflection. This makes Maude remarkably extensible and powerful,
supports an extensible algebra of module composition operations, and
allows many advanced metaprogramming and metalanguage
applications. Indeed, some of the most interesting applications of
Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers,
languages, and models of computation.
.
Maude is of interest to the biomedical community for modeling and
analysis of biological systems.
Description-md5: ccc32fb1bab14fc17d812e62b5294862