Clafer update

There have been several developments to Clafer recently. First of all, our SLE paper got updated due to a flaw in the telematics example. Secondly, we are developing a Clafer implementation in MPS. It is a great playground for experimenting with new language features, syntactic elements and semantic variants. A screenshot showing the telematics example is attached below. Our experience with MPS has been very positive so far. The project will be released soon. Stay tuned!

AttachmentSize
mpsClafer.png82.15 KB