詳細情報

刊年

2006

別書名

XMLアクセス制御とアスペクト指向プログラムに対する正規言語を超える表現能力をもった形式モデルの提案

シリーズ名

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2006年9月

注記

学位記番号: 博第601号

報告番号: 甲第601号

授与年月日: 2006/09/29

学位の種類: 博士(工学)

学生番号: 0361214

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

八木, 勲 (ヤギ, イサオ)

件名

formal language theory

formal model

XML database access control

tree automaton

aspect-oriented programming

labeled transition system