cocoatomo 昏論会読書リスト - 昏論会ウィキ

テーマ

仕様記述言語の概観を把む
Spec#, JML について読む.

入口

• http://research.microsoft.com/en-us/projects/specsharp/
  • [済1節] The Spec# programming system: An overview
    • Floyd[25] Assigning meanings to programs. http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf
    • [済] Hoare[33] An axiomatic approach to computer programming.
    • Eiffel http://www.geocities.co.jp/SiliconValley/8632/s7.html#s7.2
• http://www.chimaira.org/docs/JavaAndJML.htm