[Prev][Next][Index][Thread]

Re: Formal semantics for C




Excuse my ignorance, but is the Standard's notion of "conforming program" a
decidable notion?  If so, is your semantics accompanied by an algorithm? 

-- Matthias

Follow-Ups: References: