Wilson Hsieh - Academia.edu (original) (raw)

Uploads

Papers by Wilson Hsieh

Sigplan Notices, 2000

Bookmarks Related papers MentionsView impact

Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176)

Bookmarks Related papers MentionsView impact

Software: Practice and Experience, 1998

Many modern extensible systems, such as Java and the SPIN operating system, depend on type safety... more Many modern extensible systems, such as Java and the SPIN operating system, depend on type safety for memory protection. Unfortunately, current type‐safe languages do not support systems programming well, because they do not give programmers the ability to deal with untyped data easily. In particular, they do not support the ability to cast between untyped data and language‐level types. We describe a powerful, type‐safe cast operator that helps programmers write low‐level systems codes in type‐safe languages. We have implemented this operator in Modula‐3 for the SPIN operating system, and we give specific examples of how we use it in SPIN. © 1998 John Wiley & Sons, Ltd.

Bookmarks Related papers MentionsView impact

... Jeanne Ferrante, Vivek Sarkar, and Dave Shields - who were a wonderful group of people to wor... more ... Jeanne Ferrante, Vivek Sarkar, and Dave Shields - who were a wonderful group of people to work with. Thanks also to Cathy McCarthy, Francois Irigoin, and Jan Stone for being very friendly and helpful during my stay at IBM; thanks to Kip Fern, who was a good ...

Bookmarks Related papers MentionsView impact