| Item type |
紀要論文 / Departmental Bulletin Paper(1) |
| 公開日 |
2007-07-02 |
| タイトル |
|
|
タイトル |
Algebraic Specification Method of Programming Languages |
|
言語 |
en |
| 言語 |
|
|
言語 |
eng |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
departmental bulletin paper |
| 著者 |
北, 英彦
坂部, 俊樹
稲垣, 康善
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
The purpose of formal specification of programming languages are to establish the mathematical foundation for specification and verification of programs, proof of compiler correctness and automatic compiler generation. We propose a purely algebraic approach to develop a new algebraic specification method of programming languages. In this paper, the syntactic and semantic domains are considered as algebras, i.e., abstract data types, and the semantics of the language is given by a mapping from the syntactic domain to the semantic one. As an illustrative example, we describe a very simple language by our method. |
| 書誌情報 |
Research reports of the Faculty of Engineering, Mie University
巻 11,
p. 43-54,
発行日 1986-12-20
|
| ISSN |
|
|
収録物識別子タイプ |
PISSN |
|
収録物識別子 |
0385-6208 |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA00816341 |
| フォーマット |
|
|
内容記述タイプ |
Other |
|
内容記述 |
application/pdf |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| その他のタイトル |
|
|
言語 |
ja |
|
値 |
プログラミング言語の代数的仕様記述法 |
| 出版者 |
|
|
出版者 |
Faculty of Engineering, Mie University |
| 資源タイプ（三重大） |
|
|
値 |
Departmental Bulletin Paper / 紀要論文 |
AA008163410110008.PDF (580.7 kB)
