Simple algebraic data types for C

Share/Save/Bookmark

Hartel, Pieter H. and Muller, Henk L. (2011) Simple algebraic data types for C. Software: Practice and Experience . ISSN 0038-0644

[img]PDF
Restricted to UT campus only
: Request a copy
1378Kb
Abstract:Adt is a simple tool in the spirit of Lex and Yacc that makes monomorphic algebraic data types, polymorphic built-in types like the list and an efficient form of pattern matching available in C programs. C programs built with ADTs typically use NULL pointers only to indicate don’t care values, and not as sentinels. This reduces the scope for errors involving NULL pointers. The Adt tool generates runtime checks, which catch many of the remaining NULL pointer dereferences. The runtime checks may consume a significant amount of CPU time; hence they can be switched off once the program is suitably debugged.
Item Type:Article
Copyright:© 2011 Wiley
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/76011
Official URL:http://dx.doi.org/10.1002/spe.1058
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page