Sciweavers

11653 search results - page 107 / 2331
» The Development of the C Language
Sort
View
IWMM
2010
Springer
173views Hardware» more  IWMM 2010»
14 years 2 months ago
CETS: compiler enforced temporal safety for C
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Mar...
PLDI
2006
ACM
14 years 3 months ago
Practical dynamic software updating for C
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, M...
SCAM
2008
IEEE
14 years 3 months ago
Parfait - A Scalable Bug Checker for C Code
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
Cristina Cifuentes
SIGADA
1998
Springer
14 years 1 months ago
Looking into Safety with the Safety and Security Rapporteur Group
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
Stephen Michell, Mark Saaltink, Brian A. Wichmann
EACL
2009
ACL Anthology
14 years 10 months ago
Grammar Development in GF
Aarne Ranta, Björn Bringert, Krasimir Angelov