[bitc-dev] C interfacing vs. portability
Jonathan S. Shapiro
shap at eros-os.com
Thu Feb 26 22:06:35 EST 2009
On Thu, Feb 26, 2009 at 9:59 PM, Pal-Kristian Engstad
<pal_engstad at naughtydog.com> wrote:
> Jonathan S. Shapiro wrote:
>> If our notions of formal semantics in allegedly general-purpose
>> programming languages aren't rich enough to address this type of
>> real-world meaning, then it is our notions of formal semantics that
>> must yield (or improve).
> Hear, hear...
No no. Here, here! Like: here, in BitC, at last!
More information about the bitc-dev