图 书 馆
多线程并行的语言和编译器Multithreaded Parallelism: Languages and Compilers |
|
| 课程网址: | http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc... |
| 主讲教师: | Arvind |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2002-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | The topics covered in this course include: Languages and compilers to exploit multithreaded parallelism Implicit parallel programming using functional languages and their extensions Higher-order functions, non-strictness, and polymorphism Explicit parallel programming and nondeterminism The lambda calculus and its variants Term rewriting and operational semantics Compiling multithreaded code for symmetric multiprocessors and clusters Static analysis and compiler optimizations This course is worth 4 Engineering Design Points. |
| 关 键 词: | 函数式语言; 编程; 非确定性; 编译器; 高阶函数 |
| 课程来源: | 麻省理工学院公开课 |
| 最后编审: | 2020-11-27：yumf |
| 阅读次数: | 62 |