Abstract
At the first PPCP conference in 1995, I was honored to be one of the invited speakers. Twenty conferences later, much has changed in the computational world.We have seen the penetration of the Internet in every aspect of human life; the establishment of the multi-core era; the arrival of petaflop high performance computing; the rise of big data, analytics and machine learning; and the emergence of the planet-wide computer (the “cloud”).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ajiro, Y., Ueda, K.: Kima: An Automated Error Correction System for Concurrent Logic Programs. Automated Software Engg. 9(1), 67–94 (2002)
Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. ACM Trans. Comput. Logic 7(3), 563–589 (2006)
Boag, S., Chamberlin, D., Fernandez, M., Florescu, D., Robie, J., Simeon, J.: XQuery 1.0: An XML Query Language. Technical report, W3C (2003), http://www.w3.org/TR/xquery
Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements. J. Artif. Int. Res. 21(1), 135–191 (2004)
Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an Object-Oriented Approach to Non-uniform Cluster Computing. SIGPLAN Not. 40(10), 519–538 (2005)
Cornelio, C., Goldsmith, J., Mattei, N., Rossi, F., Venable, K.B.: Updates and Uncertainity in CP-nets. In: Proceedings of the Australian Conference on Artificial Intelligence, pp. 301–312 (2013)
Falaschi, M., Olarte, C., Palamidessi, C., Valencia, F.: Declarative Diagnosis of Temporal Concurrent Constraint Programs. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 271–285. Springer, Heidelberg (2007)
Freeman-Benson, B.N.: Kaleidoscope: Mixing Objects, Constraints, and Imperative Programming. In: Proceedings of the European Conference on Object-oriented Programming on Object-oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990, pp. 77–88. ACM, New York (1990)
Fromherz, M.P.J.: Towards Declarative Debugging of Concurrent Constraint Programs. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 88–100. Springer, Heidelberg (1993)
Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic Processes as Concurrent Constraint Programs. In: Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages, POPL 1999, San Antonio, TX, January 20-22, pp. 189–202. ACM Press, New York (1999)
Gupta, V., Jagadeesan, R., Saraswat, V.: Probabilistic Concurrent Constraint Programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 1–4. Springer, Heidelberg (1997)
Jagadeesan, R., Nadathur, G., Saraswat, V.: Testing Concurrent Systems: an Interpretation of Intuitionistic Logic. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol. 3821, pp. 517–528. Springer, Heidelberg (2005)
Khatchadourian, S., Consens, M., Siméon, J.: Chuql: Processing XML with XQuery Using Hadoop. In: Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research, CASCON 2011, Riverton, NJ, USA, pp. 74–83. IBM Corp. (2011)
Kothoff, L., Malitsky, Y., O’Sullivan, B.: Advances in Algorithm Selection and Configuration for Constraint Solving and Satisfiability. In: Tutorial at IJCAI 2013 (2013)
Saraswat, V., Jagadeesan, R., Gupta, V.: Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation 22(5-6), 475–520 (1996); Extended abstract appeared in the Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco (January 1995)
Ueda, K., Morita, M.: Moded Flat GHC and Its Message-oriented Implementation Technique. New Gen. Comput. 13(1), 3–43 (1994)
van Hentenryck, P., Deville, Y., Saraswat, V.: Design, Implementation and Evaluation of the Constraint Language cc(FD). Journal of Logic Programming 37(1-3), 139–164 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Saraswat, V. (2014). Concurrent Constraint Programming Research Programmes – Redux. In: O’Sullivan, B. (eds) Principles and Practice of Constraint Programming. CP 2014. Lecture Notes in Computer Science, vol 8656. Springer, Cham. https://doi.org/10.1007/978-3-319-10428-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-10428-7_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10427-0
Online ISBN: 978-3-319-10428-7
eBook Packages: Computer ScienceComputer Science (R0)