Alternation as a programming paradigm Export

@inproceedings{DvoGotPicWol2009, abstract = {Alternation is a common tool in complexity theory, where it has been used to prove various complexity classifications. In this work, we show that it can also be used to enhance the expressive power of the imperative part of a programming language. In particular, we present Alter-Java -- an extension of Java by language constructs to express alternation, i.e., a sequence of "there exists" and "for all" statements. Moreover, we show that many practical problems have a very natural and succinct description in terms of alternation. In order to guarantee an efficient execution of such programs, we have introduced several optimizations. We also report on experiments with our implementation of Alter-Java. The results thus obtained illustrate that our alternation framework leads to competitive running times while the code to be written is significantly shorter than without this new language feature.}, address = {New York, NY, USA}, author = {Dvo\v{r}\'{a}k, Wolfgang and Gottlob, Georg and Pichler, Reinhard and Woltran, Stefan}, booktitle = {PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming}, citeulike-article-id = {6089310}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1599410.1599419}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1599410.1599419}, doi = {10.1145/1599410.1599419}, isbn = {978-1-60558-568-0}, keywords = {confirmation}, location = {Coimbra, Portugal}, pages = {61--72}, posted-at = {2009-11-09 16:27:17}, priority = {2}, publisher = {ACM}, title = {Alternation as a programming paradigm}, url = {http://dx.doi.org/10.1145/1599410.1599419}, year = {2009} }

TY - CONF ID - DvoGotPicWol2009 L3 - citeulike-article-id:6089310 N2 - Alternation is a common tool in complexity theory, where it has been used to prove various complexity classifications. In this work, we show that it can also be used to enhance the expressive power of the imperative part of a programming language. In particular, we present Alter-Java -- an extension of Java by language constructs to express alternation, i.e., a sequence of "there exists" and "for all" statements. Moreover, we show that many practical problems have a very natural and succinct description in terms of alternation. In order to guarantee an efficient execution of such programs, we have introduced several optimizations. We also report on experiments with our implementation of Alter-Java. The results thus obtained illustrate that our alternation framework leads to competitive running times while the code to be written is significantly shorter than without this new language feature. CY - Coimbra, Portugal SN - 978-1-60558-568-0 AD - New York, NY, USA EP - 72 TI - Alternation as a programming paradigm PB - ACM T2 - PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming SP - 61 KW - confirmation AU - Dvořák, Wolfgang AU - Gottlob, Georg AU - Pichler, Reinhard AU - Woltran, Stefan PY - 2009/// UR - http://dx.doi.org/10.1145/1599410.1599419 ER -