Art
J-GLOBAL ID：200902162337869736   Reference number：01A0396419

A Formal Type Checking on Object-Based Language: Bramble.

オブジェクトベース言語Brambleにおける形式的型検査
Author (2)：
UEDA YOSHIKAZU

About UEDA YOSHIKAZU

(茨城大 工)

About 茨城大 工

, 
HARADA TETSUYA

About HARADA TETSUYA

(茨城大 大学院理工学研究科)

About 茨城大 大学院理工学研究科


Material：
茨城大学工学部研究集報  (Journal of the Faculty of Engineering, Ibaraki University)

About 茨城大学工学部研究集報


Volume： 48  Page： 23-31  Publication year： Feb. 20, 2001 
JST Material Number： F0471A  ISSN： 0367-7389  CODEN： IDKSA  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*ML language

About ML language

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Bramble

About Bramble


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=01A0396419&from=J-GLOBAL&jstjournalNo=F0471A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Applied programming languages 
(JD03052Y)

About Applied programming languages

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
オブジェクト

About オブジェクト

, 
言語

About 言語

, 
型検査

About 型検査


Return to Previous Page

TOP

BOTTOM