Displaying 1 result from an estimated 1 matches for "pennello".
Did you mean:
pennelli
2011 Oct 20
1
[LLVMdev] Formal spec for LLVM IR (Was: LLVM Language Reference Strictness)
Reed,
Are you working on a grammar of the LLVM syntax or also on a full semantics?
Steve Zdancewic's group at U. Penn. is working on a formal operational semantics for LLVM. It is partially complete and Greg Morrisett at Harvard is planning to build further on it.
Regards,
--Vikram
Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve
On Oct 20,