15614 search results - page 255 / 3123 » The State of State |
186
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...