Selected Scientific Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is software verification and Author is Andy King  [Clear All Filters]
Hill PM, King A.  1997.  Determinacy and Determinacy Analysis. Journal of Programming Languages. 5:135–171.
King A, Smaus J-G, Hill PM.  1999.  Quotienting Share for Dependency Analysis. Proceedings of the European Symposium on Programming. 1576:59–73.