Advanced search: Search from
Select basic information for advanced search
| Free word |
|---|
| Copy service |  |
|---|---|
| Related links |  |
| Publisher site |  |
Art
J-GLOBAL ID：202402222642351208
Reference number：24A0733320 Token-passing-style graph type checking in graph rewriting systems
グラフ書き換え系におけるtoken passingを用いたグラフ型検査
ClipsYAMADA KEITA
About YAMADA KEITA
(早稲田大)
, YAMAMOTO NAOKI
About YAMAMOTO NAOKI
(早稲田大)
, UEDA KAZUNORI
About UEDA KAZUNORI
(早稲田大)
Material：
情報処理学会全国大会講演論文集
About 情報処理学会全国大会講演論文集
Volume： 86th Issue： 1 Page： 1.113-1.114 Publication year： Mar. 01, 2024
JST Material Number： S0731A Document type： Proceedings
Article type： 短報 Country of issue： Japan (JPN) Language： JAPANESE (JA)
Thesaurus term：
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.
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.
*graph
, About graph
*term rewriting system
, About term rewriting system
*programming language
, About programming language
data type
, About data type
specification description
, About specification description
type theory
, About type theory
token
, About token
type system
About type system
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.
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.
*graph rewriting
About graph rewriting
JST classification (2)：
JST classification
Category name(code) classified by JST.
Basics of graph theory
Category name(code) classified by JST.
(IA02020S)
, General-purpose programming language
About Basics of graph theory
(JD03051H)
About General-purpose programming language
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
Keywords automatically extracted from the title.
グラフ書き換え
, About グラフ書き換え
グラフ
, About グラフ
型検査
About 型検査
Return to Previous Page
