The C programming language
Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
Programming abstract data types, iterators and generic modules in C
Software—Practice & Experience
A tool box for compiler construction
CC '90 Proceedings of the third international workshop on Compiler compilers
An introduction to functional programming
An introduction to functional programming
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TTT—a simple type checked C language abstract data type generator
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
Software—Practice & Experience
A static analyzer for finding dynamic programming errors
Software—Practice & Experience
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The Definition of Standard ML
Software Error Classification using Purify
ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
The implementation of generic smart pointers for advanced defensive programming
Software—Practice & Experience
SMART C: A Semantic Macro Replacement Translator for C
SCAM '06 Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation
Programming Embedded Systems: With C and GNU Development Tools
Programming Embedded Systems: With C and GNU Development Tools
The Zephyr abstract syntax description language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A framework for higher-order functions in C++
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
A pattern matching compiler for multiple target languages
CC'03 Proceedings of the 12th international conference on Compiler construction
Late Objects Version: C++ How to Program
Late Objects Version: C++ How to Program
Hi-index | 0.00 |
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. Copyright © 2011 John Wiley & Sons, Ltd.