search for: vafeiadi

Displaying 1 result from an estimated 1 matches for "vafeiadi".

Did you mean: vafeiadis
2015 Mar 16
2
[LLVMdev] Question: Motivation of the semantics of the undefined value?
...LLVM does not use the notion of trap representation of C11 standard to represent the undefined value, rather than using the set-based semantics. We'd like to understand the motivation of the set-based semantics over the trap representation. Thanks. Chung-Kil Hur, Steve Zdancewic & Viktor Vafeiadis. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150317/fa236059/attachment.html>