Micah Lewis

According to our database, Micah Lewis authored at least 1 paper in 2006.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2006

A dead variable analysis for explicit model checking.

Micah Lewis, Michael Jones

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006