MAUDE(1)

📦 version 3.5.1, in debian bookworm, debian trixie, ubuntu jammy, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 MAUDE — bestie edition 💖

okay so this is the General Commands Manual page for Maude, section 1 of the manual, and yes it's giving legendary. buckle up 🎀

✨ NAME ✨

Maude — a high-performance logical framework. that's it. that's the whole name section. iconic. 💅

🌈 SYNOPSIS 🌈

maude [options] [files]

yeah bestie, that's the whole vibe: you give it some [options], you give it some [files], it does its thing 🦋

💜 DESCRIPTION 💜

okay so real talk — this manual page only documents the Maude interpreter briefly. and here's the tea: this page was written for the Debian distribution specifically, because the original program does not have a manual page of its own. so we made one. you're welcome 🙈

Maude is a high-performance reflective language and system that supports both equational and rewriting logic specification and programming, for a wide range of applications. Maude got influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. and on top of supporting equational specification and programming, Maude also supports rewriting logic computation. slay.

Rewriting logic is a logic of concurrent change — it can naturally deal with state and with concurrent computations. it's got 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 concurrent object-oriented computation very well. and the same reasons that make rewriting logic a good semantic framework also make it a good logical framework — that is, a metalogic in which many other logics can be naturally represented and executed. no cap.

Maude supports logical reflection in a systematic and efficient way. this makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced metaprogramming and metalanguage applications. and honestly? some of the most interesting applications of Maude are metalanguage applications, where Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation. main character energy fr fr 👑

🌸 the flag moment 🌸

here's every single one, bestie, no skips:

  • --help — display help information 🫶
  • --version — display the version number
  • -no-prelude — do not read in the standard prelude
  • -no-banner — do not output the banner on startup
  • -no-advice — no advisories on startup
  • -no-mixfix — do not use mixfix notation for output
  • -no-wrap — do not do automatic line wrapping for output
  • -ansi-color — use ANSI control sequences 🌈
  • -no-ansi-color — do not use ANSI control sequences
  • -tecla — use tecla command line editing
  • -no-tecla — do not use tecla command line editing
  • -batch — run in batch mode
  • -interactive — run in interactive mode
  • -random-seed=<int> — set the seed for the random number generator 🎲
  • -xml-log=<filename> — set the file in which to produce an xml log
  • Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
  • Copyright (c) 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,
  • Copyright (c) 2000 - 2003, Richard J. Wagner

🐛 REPORTING BUGS 🐛

found a bug? send bug reports to: maude-bugs@maude.cs.uiuc.edu — they wanna hear about it, fr 💀

🔥 SEE ALSO 🔥

Websites:

Mailing lists:

🎀 AUTHOR 🎀

this manual page was written by Scott Christley <schristley@mac.com>, based upon the Maude help text. king behavior 💖

and that's the whole page, bestie!! this one came from the General Commands Manual, dated February 2011, and yeah it's MAUDE(1) — go forth and rewrite some logic, you absolute icon 💅✨🦋

📦 where this page comes from