[bitc-dev] C interfacing vs. portability

[Jonathan S. Shapiro]

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!



shap