Package: maude (3.4-1 and others)

[ Source: maude  ]

고성능 로지컬 프레임워크

Maude는 광범위한 어플리케이션을 위한 방정식 및 재작성 로직 사양과 프로그래밍을 모두 지원하는 고성능 반사 언어 및 시스템입니다. Maude는 방정식 논리 하위 언어로 간주될 수 있는 OBJ3 언어의 영향을 크게 받았습니다. 방정식 사양과 프로그래밍 지원 외에도 Maude는 논리 계산 재작성도 지원합니다.

로직을 재작성하는 것은 상태와 동시 계산을 자연스럽게 처리할 수 있는 동시 변경 논리입니다. 이는 광범위한 언어 및 동시성 모델에 실행 가능한 의미 체계를 제공하기 위한 일반적인 의미 체계 프레임워크로서 좋은 특성을 가지고 있습니다. 특히 동시 객체 지향 계산을 매우 잘 지원합니다. 로직 재작성을 좋은 의미론적 프레임워크로 만드는 동일한 이유로 인해 이를 좋은 논리적 프레임워크, 즉 다른 많은 로직이 자연스럽게 표현되고 실행될 수 있는 메타로직으로 만듭니다.

Maude는 체계적이고 효율적인 방식으로 논리적 성찰을 지원합니다. 이는 Maude를 놀랍도록 확장 가능하고 강력하게 만들고, 모듈 구성 작업의 확장 가능한 대수학을 지원하며, 많은 고급 메타 프로그래밍 및 메타 언어 어플리케이션을 가능하게 합니다. 실제로 Maude의 가장 흥미로운 어플리케이션중 일부는 메타언어 어플리케이션입니다. 여기서 Maude는 다양한 논리, 정리 프로버, 언어 및 계산 모델에 대한 실행 가능한 환경을 만드는 데 사용됩니다.

Maude는 생물학적 시스템의 모델링 및 분석에 대한 생의학 커뮤니티의 관심을 끌고 있습니다.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to maude

• dep: libbdd0c2 [hppa, m68k, sh4, x32]

  Binary decision-diagram library (runtime)

  dep: libbdd0c2 (>= 2.4+dfsg) [not hppa, m68k, sh4, x32]

• dep: libc6 (>= 2.16) [hppa]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.27) [sh4]

  dep: libc6 (>= 2.29) [x32]

  dep: libc6 (>= 2.33) [m68k]

  dep: libc6 (>= 2.34) [amd64, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64]

  dep: libc6 (>= 2.37) [loong64]

  dep: libc6 (>= 2.38) [arm64]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libgcc-s1 (>= 3.0) [not alpha, hppa, ia64, m68k, riscv64, sh4, sparc64]

  GCC 기능 지원 라이브러리

  dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

  dep: libgcc-s1 (>= 4.2) [ia64]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC 기능 지원 라이브러리

• dep: libgcc1 (>= 1:3.4) [sh4]

  Package not available

• dep: libgcc4 (>= 4.1.1) [hppa]

  Package not available

• dep: libgmp10 [hppa, sh4, x32]

  Multiprecision 연산 라이브러리

  dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, m68k, sh4, x32]

• dep: libgmpxx4ldbl [hppa, sh4]

  Multiprecision 연산 라이브러리 (C++ 바인딩)

  dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg) [x32]

  dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1) [m68k]

  dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [not hppa, m68k, sh4, x32]

• dep: libncurses6 (>= 6) [hppa, sh4]

  터미널 처리 공유 라이브러리

• dep: libsigsegv2 (>= 2.9)

  포터블한 방법으로 페이지 폴트를 처리하기 위한 라이브러리

• dep: libstdc++6 (>= 11) [m68k]

  GNU 표준 C++ 라이브러리 v3

  dep: libstdc++6 (>= 13.1) [not hppa, m68k, sh4, x32]

  dep: libstdc++6 (>= 5.2) [hppa, sh4, x32]

• dep: libtecla1 [hppa, sh4, x32]

  interactive command line editing facilities

  dep: libtecla1 (>= 1.6.3) [m68k]

• dep: libtecla1t64 (>= 1.6.3) [not hppa, m68k, sh4, x32]

  interactive command line editing facilities

• dep: libtinfo6 (>= 6) [hppa, sh4, sparc64]

  터미널 조작을 위한 저수준의 terminfo 공유 라이브러리

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

Download maude

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.4-1	1,011.6 kB	4,119.0 kB	[list of files]
amd64	3.4-1	1,158.9 kB	3,703.0 kB	[list of files]
arm64	3.4-1+b1	1,045.5 kB	3,668.0 kB	[list of files]
hppa (unofficial port)	2.7-2+b1	727.8 kB	2,434.0 kB	[list of files]
ia64 (unofficial port)	3.4-1	1,331.1 kB	7,386.0 kB	[list of files]
loong64 (unofficial port)	3.4-1	1,011.0 kB	3,542.0 kB	[list of files]
m68k (unofficial port)	3.2-2	779.1 kB	2,876.0 kB	[list of files]
mips64el	3.4-1	1,048.1 kB	4,725.0 kB	[list of files]
ppc64 (unofficial port)	3.4-1	1,166.6 kB	5,016.0 kB	[list of files]
ppc64el	3.4-1	1,196.7 kB	4,691.0 kB	[list of files]
riscv64	3.4-1	1,169.6 kB	2,983.0 kB	[list of files]
s390x	3.4-1	1,180.5 kB	4,039.0 kB	[list of files]
sh4 (unofficial port)	2.7-2+b1	762.1 kB	2,060.0 kB	[list of files]
sparc64 (unofficial port)	3.4-1	891.3 kB	4,320.0 kB	[list of files]
x32 (unofficial port)	3.1-2	964.4 kB	2,947.0 kB	[list of files]