Publications

Search
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is complexity  [Clear All Filters]
2008
Van Horn D, Mairson HG.  2008.  Deciding kCFA is Complete for EXPTIME. ICFP '08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming. :275-282.
2007
Van Horn D, Mairson HG.  2007.  Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
2000
JaJa JF.  2000.  A perspective on Quicksort. Computing in Science Engineering. 2(1):43-49.
1995
Tian J, Zelkowitz MV.  1995.  Complexity measure evaluation and selection. Software Engineering, IEEE Transactions on. 21(8):641-650.
1988
Bail WG, Zelkowitz MV.  1988.  Program complexity using Hierarchical Abstract Computers. Computer Languages. 13(3–4):109-123.