Re: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Great thanks for the video! I had a lot of fun watching!Both speakers are great professionals as it seems. Hope to meet personally such people one day.posted by EvgeniyPlusPlus
View ArticleRe: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
I should add the K project page can be found at https://code.google.com/p/k-framework/ and the semantics of C in K (mentioned in the talk) can be found at http://code.google.com/p/c-semantics/ .I am...
View ArticleRe: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
How does this compare to something like TAL?http://channel9.msdn.com/Shows/Going+Deep/Chris-Hawblitzel-and-Juan-Chen-Introduction-to-Typed-Assembly-Language-TALAre they completely different, do they...
View ArticleRe: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Great thanks for the video! I had a lot of fun watching!Both speakers are great professionals as it seems. Hope to meet personally such people one day.posted by EvgeniyPlusPlus
View ArticleRe: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
I should add the K project page can be found at https://code.google.com/p/k-framework/ and the semantics of C in K (mentioned in the talk) can be found at http://code.google.com/p/c-semantics/ .I am...
View ArticleRe: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
How does this compare to something like TAL?http://channel9.msdn.com/Shows/Going+Deep/Chris-Hawblitzel-and-Juan-Chen-Introduction-to-Typed-Assembly-Language-TALAre they completely different, do they...
View Article