[LLVMdev] Publication at ICFEM 2014 (original) (raw)
Simo simo at nii.ac.jp
Tue Oct 28 03:43:12 PDT 2014
- Previous message: [LLVMdev] DragonEgg3.3 support for gcc cross compilers
- Next message: [LLVMdev] Storing values in global variables
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Hi everyone,
I would like the following publication to appear on the LLVM website. It would be great if somebody could add the paper to http://llvm.org/pubs/.
Below, the reference: A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. Si-Mohamed Lamraoui and Shin Nakajima. Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM '14). November, 2014. Link: http://dx.doi.org/10.1007/978-3-319-11737-9_17
Thank you, Si-Mohamed Lamraoui -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141028/246ee2dd/attachment.html>
- Previous message: [LLVMdev] DragonEgg3.3 support for gcc cross compilers
- Next message: [LLVMdev] Storing values in global variables
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]