|
Dynamic Invariant Detection
|
Dynamic Invariant Detection
This program begins with background on dynamic invariant detection, a technique for discovering invariants from execution traces, followed by a description of an application of program invariants to the task of refactoring, and then integrating two complementary techniques for manipulating program invariants. From the Series:CSE Colloquia - 2002
Video Length: 3591
Date Found: February 12, 2009
Date Produced: January 10, 2002
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 |
|
|
|