[Image: GNU Sather logo]
(Answer) (Category) Sather FAQ : (Category) Developing the Sather language and libraries : (Answer) Formal aspects of the Sather language
From: Malome Khomo <mkhomo@ostecs.com
Subject: Formalisms
Date: Tue, 25 May 1999 02:49:07 GMT
Is anyone out there interested in doing joint/co-operative work on the Formal aspects of the Sather language? KH. has already hinted at something in that regard. I am curious if there are any other 'free' hands itching to do something FORMAL related to Sather.
Offhand I see three possibilities:
1) Help make Sather clean
2) Use Sather as an Engineering idiom
3) Make a Sather-based Formal implementation engine

Does this pique anybody's interest?
--
Malome
Software Release Engineering with
open multi-vendor Version Control
SEAL&Deliver(TM) http://www.ostecs.com
ablazej@gnu.org

Previous: (Answer) Customized floats
Next: (Answer) OpenGL and glut graphics

Copyright (C) 2000 Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.