maude_2.6-2_amd64.deb


Advertisement

Description

maude - high-performance logical framework

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name maude
Package version 2.6
Package release 2
Package architecture amd64
Package type deb
Installed size 2.15 KB
Download size 912.70 KB
Official Mirror archive.ubuntu.com
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.

Alternatives

Package Version Architecture Repository
maude_2.6-2_i386.deb 2.6 i386 Ubuntu Universe
maude - - -

Requires

Name Value
libbdd0c2 -
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libgmp10 -
libgmpxx4ldbl -
libsigsegv2 >= 2.9
libstdc++6 >= 4.6
libtecla1 -

Conflicts

Name Value
maude -

Download

Type URL
Binary Package maude_2.6-2_amd64.deb
Source Package maude

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install maude deb package:
    # sudo apt-get install maude

Files

Path
/usr/bin/maude
/usr/share/doc/maude/AUTHORS
/usr/share/doc/maude/NEWS.gz
/usr/share/doc/maude/README
/usr/share/doc/maude/changelog.Debian.gz
/usr/share/doc/maude/copyright
/usr/share/man/man1/maude.1.gz
/usr/share/maude/linear.maude
/usr/share/maude/machine-int.maude
/usr/share/maude/metaInterpreter.maude
/usr/share/maude/model-checker.maude
/usr/share/maude/prelude.maude
/usr/share/maude/socket.maude
/usr/share/maude/term-order.maude

See Also

Package Description
maven-debian-helper_1.5ubuntu1_all.deb Helper tools for building Debian packages with Maven
maven2_2.2.1-10_all.deb Java software project management and comprehension tool
maven_3.0.4-2_all.deb Java software project management and comprehension tool
maxima-doc_5.24.0-1build1_all.deb A computer algebra system -- documentation
maxima-emacs_5.24.0-1build1_all.deb A computer algebra system -- emacs interface
maxima-share_5.24.0-1build1_all.deb A computer algebra system -- extra code
maxima-src_5.24.0-1build1_all.deb A computer algebra system -- source code
maxima-test_5.24.0-1build1_all.deb A computer algebra system -- test suite
maxima_5.24.0-1build1_amd64.deb A computer algebra system -- base system
maximus_0.4.14-2_amd64.deb Automaximizing window management tool
mayavi2_4.0.0-3build1_amd64.deb scientific visualization package for 2-D and 3-D data
mazeofgalious-data_0.62.dfsg2-2.2_all.deb The Maze of Galious
mazeofgalious_0.62.dfsg2-2.2_amd64.deb The Maze of Galious
mb2md_3.20-4_all.deb Converting Mbox mailboxes to Maildir format
mbmon_2.05-6_amd64.deb Hardware monitoring without kernel dependencies (text client)
Advertisement
Advertisement