中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Maude system
来自维基百科,自由的百科全书
Found in articles
反射式编程语言和平台列表
一般支持反射的编程语言和平台包括动态类型语言如Smalltalk,脚本语言如Perl、PHP、Python、VBScript和JavaScript,
Maude
system
的重写逻辑。 APL Befunge BlitzMax ColdFusion MX Curl Delphi
重写逻辑
因斯布鲁克大学Researchers in rewriting (页面存档备份,存于互联网档案馆) Termination Portal
Maude
System
(页面存档备份,存于互联网档案馆) — 通用术语重写系统的软件实现。 临界对 (逻辑)(英语:Critical pair (logic))
莫德 (路易斯安那州)
莫德(英語:
Maude
)是位於美國路易斯安那州聖坦曼尼堂區的一個非建制地區。 莫德所處的海拔為高於海平面10米(即33英呎),而該地所採用的時區為UTC-6,即北美中部時區(CST)。同時該地設有夏令時間,為UTC-6調快一小時,即UTC-5(CDT)。
Maude
. Geographic Names
毛德角
150; 168.417 毛德角(英語:Cape
Maude
)是南極洲的海岬,位於沙克爾頓海岸,處於霍蘭山脈的沃恩角東端,由英國的探險隊發現,現時由南極條約體系管理。 Cape
Maude
. Geographic Names Information
System
. United States Geological
动态语言
Dylan Emacs Lisp newLISP PicoLisp Logo Logtalk(英语:Logtalk) Lua
Maude
系统(英语:
Maude
system
) MUMPS(英语:MUMPS) Oberon Objective-C Perl PHP POP-11(英语:POP-11)