Revision as of 01:51, 13 January 2014 edit Hiiiiiiiiiiiiiiiiiiiii (talk \| contribs) Extended confirmed users 520 edits changed example to prevent confusion since signed overflow is undefined in C. ← Previous edit		Revision as of 01:03, 22 January 2014 edit undo Monkbot (talk \| contribs) Bots 3,695,952 edits m →Techniques for mitigating integer overflow problems: Fix CS1 deprecated date parameter errors Next edit →
Line 36: \| first = Abhishek \| last = Reddy \| date = 2008-08-22 }}</ref><ref>{{Cite book\|authorlink=Benjamin C. Pierce \|last=Pierce \|first=Benjamin C. \|title=Types and Programming Languages \|publisher=MIT Press \|year=2002 \|isbn=0-262-16209-1 \|url=http://www.cis.upenn.edu/~bcpierce/tapl/}}</ref><ref>{{Cite journal\|last=Wright \|first=Andrew K. \|coauthors=[[Matthias Felleisen]] \|title=A Syntactic Approach to Type Soundness \|journal=Information and Computation \|volume=115 \|issue=1 \|pages=38–94 \|year=1994 \|url=http://citeseer.ist.psu.edu/wright92syntactic.html \|doi=10.1006/inco.1994.1093}}</ref><ref>{{Cite journal\|first=Stavros \|last=Macrakis \|title=Safety and power \|journal=ACM SIGSOFT Software Engineering Notes \|volume=7 \|issue=2 \|pages=25–26 \|~~month~~date=April ~~\|year=~~1982 \|url=http://portal.acm.org/citation.cfm?id=1005937.1005941 \|format=requires subscription \|doi=10.1145/1005937.1005941}}</ref> ==See also==

Integer overflow: Difference between revisions