|
|
Extended Static Checking
Described is a system for detecting automatically at compile time certain errors that are normally not detected until run time, and sometimes not even then. For example, array bounds errors, NIL dereferences, and race conditions and deadlocks in multi-threaded programs. The system has been implemented both for Modula-3 and for Java. From the Series:CSE Colloquia - 1999
Video Length: 3577
Date Found: February 12, 2009
Date Produced: November 30, 1999
View Count: 1
|
|
|
|
|
I got punched by an old guy, for farting near his wife. Read MoreComic book creator Stan Lee talks the future of the medium in the digital age. Panelists Zachary... Read MoreThe U.S. launch of Spotify is still on music lovers' minds. Join Zachary Levi, from NBC’s... Read MoreTuesday: Rupert Murdoch testifies before Parliament on the hacking scandal that brought down "News... Read MoreAfter a long slump, the home construction industry may be showing signs of life. But as Bill... Read More | 1 2 3 4 5 |
|
|
|