Programming Language Theory |
MORI, Takuo |
|
|
【Information and Electronic Engineering･1st semester】
18-1-0466-2349 |
| １． |
Outline |
|
This course deals with representative programing paradigms and their computational models, the syntax of programming languages, and formal programming language semantics, especially the operational semantics of programming languages, as fundamentals of programming languages.
This course relates to the diploma policy DP4C and DP4M.
|
| ２． |
Objectives |
|
This course aims at mastering the following topics;
Explaining the property of each programming paradigm with its computational model, as to each
programming paradigm;
Understanding the operational semantics with respect to each representative computational model;
Explaining the syntax of programming languages;
Explaining the property of mechanisms of abstraction with respect to each representative programming language;
|
| １． |
Outline |
|
This course deals with representative programing paradigms and their computational models, the syntax of programming languages, and formal programming language semantics, especially the operational semantics of programming languages, as fundamentals of programming languages.
This course relates to the diploma policy DP4C and DP4M.
|
| ２． |
Objectives |
|
This course aims at mastering the following topics;
Explaining the property of each programming paradigm with its computational model, as to each
programming paradigm;
Understanding the operational semantics with respect to each representative computational model;
Explaining the syntax of programming languages;
Explaining the property of mechanisms of abstraction with respect to each representative programming language;
|
| ３． |
Grading Policy |
|
|
| ４． |
Textbook and Reference |
|
|
| ５． |
Requirements (Assignments) |
|
|
| ６． |
Note |
|
|
| ７． |
Schedule |
|
１.
|
２.
|
３.
|
４.
|
５.
|
６.
|
７.
|
８.
|
９.
|
10.
|
11.
|
12.
|
13.
|
14.
|
15.
|
|
|