Skip to search formSkip to main contentSkip to account menu

ACM SIGACT

Known as: ACM SIGACT News, SIGACT, Special Interest Group on Algorithms and Computation Theory 
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
Dominating setGödel PrizeICALPKnuth Prize

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
SIGACT news online algorithms column 20: the power of harmony
I would like to begin this column by thanking Marek Chrobak, Lance Fortnow and Brendan Mumey for giving me this opportunity for… 
2011
2011
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too
We address the complete design flow from specification models of new automotive functions captured in Matlab-Simulink to their… 
Review
2009
Review
2009
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Welcome to the Thirty-Sixth Symposium on Principles of Programming Languages, held Wednesday, January 21st, through Friday… 
2009
2009
Representing human and machine dictionaries in Markup languages
In this chapter we present the main issues in representing machine readable dictionaries in XML, and in particular according to… 
2006
2006
Open-Source Model Checking
Review
2005
Review
2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005
This volume contains the papers presented at POPL'05, The Thirty-Second Annual ACM SIGPLAN-SIGACT Symposium on Principles of… 
Review
2003
Review
2003
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
This volume contains the papers and abstracts presented at POPL'03, the Thirtieth Annual ACM SIGPLAN-SIGACT Symposium on… 
2003
2003
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic
Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to… 
1993
1993
Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs
Execution replay is a debugging strategy in which a program is run over and over on an input that manifests bugs. For explicitly… 
1980
1980
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The papers in this volume were presented at the Eighth Annual ACM Symposium on Principals of Programming Languages, sponsored… 
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)