Hi, I recently came across Deca<http://decac.googlecode.com/files/Deca%20Thesis.pdf>. Sounds like an interesting programming language. It's comparison to BitC comes from the fact that it tries to solve the same problems as BitC:
Systems programs operate in constrained memory. Systems programs are strongly driven by bulk I/O performance. Performance and data representation matter. Stateful programming is mandatory. User-managed storage is a requirement. However, it doesn't try to support the formal verification part. I was wondering to know how BitC developers see Deca as in comparison to BitC. What's the good/bad/ugly in Deca with respect to BitC goals. ~ SDK
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
