maude - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

Maude - Một khung logic hiệu suất cao

SYNOPSIS

maude [lựa chọn] [các tập tin]

MÔ TẢ

Trang hướng dẫn sử dụng này tài liệu ngắn gọn về Maude thông dịch viên. Trang hướng dẫn này đã được viết
cho bản phân phối Debian vì chương trình gốc không có trang hướng dẫn sử dụng.

Maude là một hệ thống và ngôn ngữ phản xạ hiệu suất cao hỗ trợ cả cân bằng và
viết lại đặc điểm kỹ thuật logic và lập trình cho một loạt các ứng dụng. Maude có
bị ảnh hưởng theo những cách quan trọng bởi ngôn ngữ OBJ3, có thể được coi là một
ngôn ngữ con logic phương đẳng. Bên cạnh việc hỗ trợ đặc điểm kỹ thuật và lập trình phương đẳng,
Maude cũng hỗ trợ tính toán logic viết lại.

Logic viết lại là logic của sự thay đổi đồng thời có thể đối phó với trạng thái và
với các phép tính đồng thời. Nó có các thuộc tính tốt như một khung ngữ nghĩa chung cho
cung cấp ngữ nghĩa thực thi cho nhiều loại ngôn ngữ và mô hình đồng thời. Trong
đặc biệt, nó hỗ trợ rất tốt việc tính toán hướng đối tượng đồng thời. Những lý do tương tự
làm cho logic viết lại trở thành một khung ngữ nghĩa tốt, làm cho nó cũng trở thành một khung logic tốt,
có nghĩa là, một metalogic trong đó nhiều logic khác có thể được biểu diễn và thực thi một cách tự nhiên.

Maude hỗ trợ phản ánh logic một cách có hệ thống và hiệu quả. Điều này làm cho Maude
có thể mở rộng đáng kể và mạnh mẽ, hỗ trợ đại số có thể mở rộng của thành phần mô-đun
hoạt động, và cho phép nhiều ứng dụng ngôn ngữ kim loại và lập trình siêu nâng cao.
Thật vậy, một số ứng dụng thú vị nhất của Maude là các ứng dụng ngôn ngữ kim loại,
trong đó Maude được sử dụng để tạo môi trường thực thi cho các lôgic khác nhau, định lý
trình duyệt, ngôn ngữ và mô hình tính toán.

--Cứu giúp hiển thị thông tin trợ giúp

--phiên bản
Hiển thị số phiên bản

-không có khúc dạo đầu
Không đọc trong khúc dạo đầu tiêu chuẩn

-không có biểu ngữ
Không xuất biểu ngữ khi khởi động

-không-lời khuyên
Không có lời khuyên khi khởi động

-no-mixfix
Không sử dụng ký hiệu mixfix cho đầu ra

-không quấn
Không tự động gói dòng cho đầu ra

-ansi-màu
Sử dụng trình tự điều khiển ANSI

-không-ansi-màu
Không sử dụng trình tự điều khiển ANSI

-tecla Sử dụng chỉnh sửa dòng lệnh tecla

-no-tecla
Không sử dụng chỉnh sửa dòng lệnh tecla

-lô hàng Chạy ở chế độ hàng loạt

-tương tác
Chạy ở chế độ tương tác

-random-seed =
Đặt hạt giống cho trình tạo số ngẫu nhiên

-xml-log =
Đặt tệp để tạo nhật ký xml

BẢN QUYỀN

Bản quyền (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.

Bản quyền (c) 1997 - 2002, Makoto Matsumoto và Takuji Nishimura,

Bản quyền (c) 2000 - 2003, Richard J. Wagner

BÁO CÁO GIỎI

Gửi báo cáo lỗi tới: maude-bugs@maude.cs.uiuc.edu

Sử dụng maude trực tuyến bằng các dịch vụ onworks.net