Arrays and pointers considered harmful


Formal methods of software development are becoming important topics in software engineering as evidenced by the fact that three important publications <i>IEEE Transactions on Software Engineering, IEEE Software</i> and <i>IEEE Computer</i> were recently devoted to this topic. This paper looks at the effect that current problems with formal methods might… (More)
DOI: 10.1145/130722.130737


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics