KindSoftware
  • about us
  • software
  • documents
  • research
  • visitors
  • cdes
  • blog
Documents
  • Overview
  • White Papers
    • KindSoftware Coding Standards
    • Exercises from "Algebraic Semantics of Imperative Programs" Solutions
  • Published Papers
  • Mechanized Theory
    • Formalizing Feature Models
  • Tutorials
    • ECOOP 2004
    • ETAPS 2005
    • FM 2005
    • ECOOP 2005
    • ESEC/FSE 2005
    • FMCO 2005
    • ETAPS 2008
    • TOOLS 2008
    • GLOBAN 2008
    • ETAPS 2009
    • COST 2009
  • Project Proposals
    • Programing and Specification Languages
    • IDEs
    • Theory
    • Operating Systems and Compilers
    • Theorem Provers
    • Verification
    • Case Studies
  • News
    • 2010
    • 2009
    • 2008
    • 2007
    • 2006
    • 2005
    • 2004
    • 2003

2004

2003–2005

We have contributed to nine alpha releases of ESC/Java2 throughout 2003 and 2004. We hope to see the first beta release in early 2005. See our ESC/Java2 page for more information.

Copyright © 1993–2005 KindSoftware. :: Page Last Updated: Friday, 27-Jun-2008 16:51:46 IST
Site Design and Photos by CAW :: XHTML, CSS.