EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


17771 Simple algebraic data types for C
Home Policy Brochure Browse Search User Area Contact Help

Hartel, P.H. and Muller, H.L. (2010) Simple algebraic data types for C. Technical Report TR-CTIT-10-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

There is a more recent version of this eprint available. Click here to view it.

Full text available as:

PDF

206 Kb
Zip (Source code available under MIT free software licence)

36 Kb
Open Access


Exported to Metis

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:Internal Report (Technical Report)
Research Group:EWI-DIES: Distributed and Embedded Security
ID Code:17771
Deposited On:14 April 2010
International:No
More Information:statisticsmetis

Available Versions of this Item

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item