Text Size
- Home
-
News
Advanced computing news from Communications of the ACM, other ACM resources, and from around the Web.
- Blogs
- Opinion
-
Browse by Subject
Recent articles from Communications organized into categories that encompass the broad scope of computing.
-
Magazine Archive
-
Careers
Jump-start your career with information on trends, opportunities and jobs – in both industry and academia.
- ACM Resources
-
Subscribe
Receive the benefits of ACM membership with a subscription to its flagship publication, Communications of the ACM.
Research highlights
Reasoning About the Unknown in Static Analysis
![[article image]](/system/assets/0000/3441/072010_AndyCunningham_Unknown.large.jpg?1279552396&1279552395 "'Unknown' by Andy Cunningham")
"Unknown" by Andy Cunningham
Credit: Andy Cunningham
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as nondeterministic choices made by the program's execution environment, it is still possible to glean very useful information about how such statically unknown values may or must influence computation.
Read the Full Article:
Tools For Readers
Text Size
Related ACM Resources
Conferences:
- ICSE 2012: 34th International Conference on Software Engineering - June 2 – 9, 2012; Zurich, Switzerland
Courses:
- The Sales Process (Second Edition) - In this course, you will develop organizational activities to assure sales success in a territory, gather information to qualify sales prospects, and plan a structured …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us |
Mobile Site
Copyright © 2012 by the ACM. All rights reserved.