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

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

オブジェクトベース言語Brambleにおける形式的型検査
Author (2):
Material:
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.
,...
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.

   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 
Terms in the title (3):
Terms in the title
Keywords automatically extracted from the title.

Return to Previous Page