線上英漢字典/中文拼音/地址英譯、地圖查詢/計算機
Chinese-English Dictionary / Address & Map / Calculator    《回首頁
Please input chinese/english word(s), address or math. expression :

可輸入英文單字正體中文字詞台灣地址計算式  ex: 2^6/5

共發現 2 筆關於 [obj] 的資料 (解釋內文之英文單字均可再點入查詢)
資料來源(1): pydict data [pydict]
obj 目標文件 資料來源(2): Free On-line Dictionary of Computing [foldoc]
OBJ Joseph Goguen 1976. A family of declarative "ultra high level" languages. Abstract types, generic modules, subsorts (subtypes with {multiple inheritance}), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (Rewrite Rule Machine). ["Higher-Order Functions Considered Unnecessary for Higher-Order Programming", J.A. Goguen, in Research Topics in Functional Programming].