Hi, there, I will be releasing the first version of ATS3 shortly. More will be said in a followup email.
For those who are familiar with ATS2, I would like to emphasize that ATS3 is very different from ATS2 at this point. Many advanced features of ATS2 have yet to be incorporated into ATS3. As you can see, there are two words in 'program verification'. Verification needs to be built on top of a productive approach to program construction. While ATS2 focuses on program verification, ATS3 has shifted the focus on program construction. The first priority of ATS3 is to provide a means for programmers to construct programs in a higher productive manner. The feature of templates in ATS3 is my attempt at it, and it is likely my last attempt at it as well. One could only experiment for so much and so long in one's own limited capacity. Cheers! Hongwei Xi Principal Designer and Implementer of ATS PL System -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLovH3CX1CYDFR5mn_xkdzfWZO56r%3DwiMAT2w%2BESN0MG_Q%40mail.gmail.com.
