Skip to search formSkip to main contentSkip to account menu

ACM Software System Award

Known as: ACM Software Systems Award, Software System Award 
The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
ACL2Bob FrankstonCoq (software)Eclipse

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017
2015
2015
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015
2014
2014
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014
2014
2014
The house elves of ACM
JUNE 2014 | VOL. 57 | NO. 6 | COMMUNICATIONS OF THE ACM 7 T H I S I S M Y last column as President of ACM. It has been an honor… 
Review
2012
Review
2012
Some thoughts on executable visual languages and their Interfaces
The talk will survey the highlights of work carried out in the last 30 years, regarding visual languages for the programming of… 
2011
2011
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011
2010
2010
The work of ACM's awards committee
acm awards committee ACM established its first award—the A.M. Turing Award—in 1966. This honor is given annually to an individual… 
2008
2008
ACM annual report for FY07
A dried infused celery which has extended storage stability and which upon rehydration possesses the taste, color, texture and… 
2000
2000
Select an existing standard rather than define a new business process
B y now, the high expectations for business-to-business (B2B) applications have become familiar. Analysts have projected… 
1992
1992
Real programmers don't use spreadsheets
Spreadsheets were invented more than ten years ago and they are used as the only or primary computer language by millions of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)