Translation and Review Assignment
CXY = Chen Xiaoyi 陈潇怡
LX = Li Xin 李鑫
XJW = Xiang Jianwen 向剑文
KWQ = Kong Weiqiang 孔维强
LBC = Liu Bochao 刘伯超
---------------------------------------------------------------------------------
Volume I
| Chapter(章节) | Pages(页数) | Translator(译者) | Reviewer(审阅人) |
| Preface | 17 | CXY | LBC |
| Introduction | 42 | CXY | XJW |
| Numbers | 10 | LX | KWQ |
| Sets | 8 | KWQ | LGQ |
| Cartesian | 8 | KWQ | LGQ |
| Types | 16 | LBC | KWQ |
| Functions | 22 | LBC | XJW |
| Lambda Calculus | 28 | LBC | KWQ |
| Algebras | 14 | LX | KWQ |
| Mathematical Logic | 60 | LX | XJW |
| Atomic Types and Values in RSL | 20 | XJW | CXY |
| Function Definitions in RSL | 10 | XJW | LBC |
| Property-Oriented and Model-Oriented Abstraction | 32 | XJW | CXY |
| Sets in RSL | 32 | XJW | LX |
| Cartesians in RSL | 26 | XJW | KWQ |
| Lists in RSL | 28 | KWQ | LBC |
| Maps in RSL | 44 | KWQ | CXY |
| Higher-Order Functions in RSL | 20 | KWQ | LX |
| Types in RSL | 14 | KWQ | XJW |
| Applicative Specification Programming | 28 | LBC | KWQ |
| Imperative Specification Programming | 44 | LBC | CXY |
| Concurrent Specification Programming | 46 | LBC | LX |
| Etcetera | 6 | LBC | XJW |
| Appendix(附录) | Pages(页数) | Translator(译者) | Reviewer(审阅) |
| 563-579 | 17 | LBC | KWQ |
| 580-596 | 17 | LBC | LX |
| 597-614 | 18 | XJW | CXY |
| 615-632 | 18 | LBC | LX |
| 632-649 | 18 | LBC | XJW |
-----------------------------------------------------------------------------------------------
posted by Jianwen Xiang @ 4:30 PM
0 Comments:
Post a Comment
Subscribe to Post Comments [Atom]
<< Home