مشاهده مشخصات مقاله
Formal Development of Two Player Games: A Constructive Approach
|
نویسنده (ها) |
-
Hassan Haghighi
-
Seyyed Hassan Mirian-Hosseinabadi
|
|
مربوط به کنفرانس |
دوازدهمین کنفرانس بینالمللی سالانه انجمن کامپیوتر ایران |
|
چکیده |
In a two player game, the choices of our player can be modeled by angelic nondeterminism and those of our
opponent by demonic nondeterminism. In this paper, we introduce some notations and semantics to Martin-
Löf's theory of types which facilitate the use of angelic and demonic interpretations of nondeterminism in type
theoretical specifications. Using the proposed, nondeterministic constructs, we can formally specify two player
games and derive them from correctness proofs of their formal specifications. |
|
قیمت |
-
برای اعضای سایت : ۱٠٠,٠٠٠ ریال
-
برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
-
برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال
|
خرید مقاله
|
|
.gif){kind=icon}