Steve M. Shaner

According to our database, Steve M. Shaner authored at least 2 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2009

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.

Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens

Proceedings of the Programming Languages and Systems, 2009

2007

Modular verification of higher-order methods with mandatory calls specified by model programs.

Steve M. Shaner, Gary T. Leavens, David A. Naumann

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007