maude - 클라우드의 온라인

프로그램:

이름

Maude - 고성능 논리 프레임워크

개요

ude [옵션] [파일]

기술

이 매뉴얼 페이지는 간략하게 설명합니다 모드 로즈 요 통역사. 이 매뉴얼 페이지는 작성되었습니다
원래 프로그램에는 매뉴얼 페이지가 없기 때문에 데비안 배포판용입니다.

모드 로즈 요 방정식과 방정식을 모두 지원하는 고성능 반사 언어 및 시스템입니다.
광범위한 응용 프로그램을 위한 논리 사양 및 프로그래밍을 다시 작성합니다. 모드 로즈 요 이
OBJ3 언어의 영향을 많이 받았습니다.
방정식 논리 하위 언어. 방정식 사양 및 프로그래밍을 지원하는 것 외에도
모드 로즈 요 또한 재작성 논리 계산을 지원합니다.

재작성 로직은 상태와
동시 계산으로. 에 대한 일반적인 의미 체계로서 좋은 속성을 가지고 있습니다.
광범위한 언어와 동시성 모델에 실행 가능한 의미를 제공합니다. 에
특히 동시 객체 지향 계산을 매우 잘 지원합니다. 같은 이유
재작성 논리를 좋은 의미 체계로 만드는 것도 좋은 논리 체계로 만들고,
즉, 다른 많은 논리가 자연스럽게 표현되고 실행될 수 있는 메탈로직입니다.

모드 로즈 요 체계적이고 효율적인 방법으로 논리적 성찰을 지원합니다. 이것은 만든다 모드 로즈 요
놀랍도록 확장 가능하고 강력하며 모듈 구성의 확장 가능한 대수학을 지원합니다.
작업을 수행하고 많은 고급 메타 프로그래밍 및 메타 언어 응용 프로그램을 허용합니다.
실제로 가장 흥미로운 응용 프로그램 중 일부는 모드 로즈 요 메타 언어 응용 프로그램이며,
하는 모드 로즈 요 다양한 논리에 대한 실행 가능한 환경을 만드는 데 사용됩니다.
증명자, 언어 및 계산 모델.

--도움 도움말 정보 표시

--번역
버전 번호 표시

- 전주곡 없음
표준 전주곡을 읽지 마십시오.

-노 배너
시작 시 배너 출력 안 함

- 조언 없음
시작에 대한 권고 없음

-혼합 없음
출력에 mixfix 표기법을 사용하지 마십시오.

-노랩
출력을 위한 자동 줄 바꿈 안 함

-안시 컬러
ANSI 제어 시퀀스 사용

- 무색소
ANSI 제어 시퀀스를 사용하지 마십시오.

-테클라 tecla 명령줄 편집 사용

- 노 테클라
tecla 명령줄 편집을 사용하지 마십시오.

-일괄 배치 모드에서 실행

-인터렉티브
대화형 모드에서 실행

-랜덤 시드=
난수 생성기의 시드 설정

-xml-로그=
xml 로그를 생성할 파일 설정

저작권

저작권 (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.

Copyright (c) 1997 - 2002, 마츠모토 마코토, 니시무라 타쿠지,

저작권 (c) 2000 - 2003, Richard J. Wagner

보고 버그

버그 보고서 보내기: [이메일 보호]

onworks.net 서비스를 사용하여 maude 온라인 사용