|
MrWhy.com » Videos » Cyclone: Programming-Language Technology for Reliable Software |
|
|
Cyclone: Programming-Language Technology for Reliable Software
|
Cyclone: Programming-Language Technology for Reliable Software
Building large, reliable software systems is one of the great intellectual challenges of our age.  UW CSE researcher, Dan Grossman, describes the ongoing efforts to use programming languages and their implementations to make reliable software easier to write. The talk includes a description of Cyclone, a type-safe programming language at the C level of abstraction. From the Series:CSE Colloquia - 2005
Video Length: 3469
Date Found: February 12, 2009
Date Produced: February 15, 2005
View Count: 34
|
|
|
|
|
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 |
|
|
|