RT @programmingjoy: Static Verification: An External DSL Advantage #programming http://bit.ly/3bDq6o
1
Replying to @markusvoelter
@markusvoelter I don't get it. How would any this *not* be possible with a verifier for an internal DSL, should you care to build one?

Nov 17, 2009 · 8:47 AM UTC