C programming FAQs: frequently asked questions

SWA-KMDLS: an enhanced e-learning management system using semantic web and knowledge management technology

IIT'09 Proceedings of the 6th international conference on Innovations in information technology

Finding and understanding bugs in C compilers

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

An executable formal semantics of C with applications

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages