maude - High-performance reflective language

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest i386
Package filename maude-2.7.1.txz
Package name maude
Package version 2.7.1
Package release -
Package architecture i386
Package type txz
Category lang
License GPLv2
Download size 794.02 KB
Installed size 3.08 MB
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
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.
- CVC4: on
- DOCS: on


Package Version Architecture Repository
maude-2.7.1.txz 2.7.1 amd64 FreeBSD Ports Latest
maude-2.7.1.txz 2.7.1 i386 FreeBSD Ports Quarterly
maude-2.7.1.txz 2.7.1 amd64 FreeBSD Ports Quarterly
maude - - -


Name Value
buddy = 2.4_2
cvc4 = 1.7_1
gmp = 6.1.2_1 - - - -
libsigsegv = 2.12 -
libtecla = 1.6.3 -


Type URL
Binary Package maude-2.7.1.txz
Source Package lang/maude

Install Howto

Install maude txz package:

# pkg install maude

See Also

Package Description
maven-3.6.1.txz Java project management tool
maven-wrapper-1_2.txz Wrapper script for the various installations of Maven
maven3-3.0.5.txz Java project management tool, 3.x branch
maven31-3.1.1_1.txz Java project management tool, 3.1.x branch
maven33-3.3.9.txz Java project management tool, 3.3.x branch
mawk- Interpreter for the AWK Programming Language
maxcso-1.10.0_2.txz Fast ISO to CSO compressor for PSP and PS2 emulators
maxima-5.43.0_2.txz Symbolic mathematics program
maxr-0.2.9_3.txz Mechanized Assault and Exploration Reloaded
mb2md-3.20_1.txz Converts mbox mailboxes to Maildir
mbasecalc-1.1_8.txz Simple calculator program inspired by basecalc
mbdyn-1.7.2_8.txz MultiBody Dynamics analysis system
mbedtls-2.16.3.txz SSL/TLS and cryptography library
mbelib-1.3.0.txz P25 Phase 1 and ProVoice vocoder
mbgtools-f.1.0.0.txz Drivers and tools for Meinberg PTP/GPS cards