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
Software Synthesis Procedures
![[article image]](/system/assets/0000/6992/011512_WatersEller_Software-Synthesis1.large.jpg?1326487158&1326487157 "Converging Views by Susan Waters-Eller")
Credit: Susan Waters-Eller
Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way.
Read the Full Article:
Tools For Readers
Text Size
Related ACM Resources
Conferences:
- ICIISCE 2012: International Conference on Innovations of Information System and Computer Engineering - May 28 – 29, 2012; Vienna, Austria
Courses:
- Project Cost Management - In this course you will review the basics of project cost management, and be introduced to estimating and budgeting. After completing this course, you will …
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.