Software correctness

• Correctness conditions for calling an agent
  by Colin Adams (modified: 2007 Mar 17)

  Tags:
  • Agents
  • Ecma
  • Software correctness
• Correctness conditions (2) for calling an agent
  by Colin Adams (modified: 2010 Jan 28)

  Tags:
  • Agents
  • Ecma
  • Software correctness
• Why Type-safety?
  by Bernd Schoeller (modified: 2011 Jul 19)

  Tags:
  • language design
  • type safety
  • Software correctness
  • software engineering
  • type system