{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:23:23Z","timestamp":1725564203962},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205890"},{"type":"electronic","value":"9783540245803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24580-3_23","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T23:01:46Z","timestamp":1283727706000},"page":"156-170","source":"Crossref","is-referenced-by-count":10,"title":["jcc: Integrating Timed Default Concurrent Constraint Programming into Java"],"prefix":"10.1007","author":[{"given":"Vijay","family":"Saraswat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vineet","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL 1993)","author":"G. Berry","year":"1993","unstructured":"Berry, G., Ramesh, S., Shyamsundar, R.K.: Communicating reactive processes. In: Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL 1993), Charleston, South Carolina, ACM Press, New York (1993)"},{"key":"23_CR2","unstructured":"Berry, G.: The Esterel v5 Language Primer Version 5.21 Release 2.0. Technical report, INRIA (April 1999)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding Genericity to the Java Programing Language. In: OOPSLA (1998)","DOI":"10.1145\/286936.286957"},{"key":"23_CR4","unstructured":"Bacon, D., et al.: \u201cThe double checked locking is broken\u201d declaration (2000), http:\/\/www.cs.umd.edu\/pugh\/java\/memoryModel\/DoubleCheckedLocking.html"},{"key":"23_CR5","unstructured":"Miller, M.S., et al.: E: Open source distributed capabilities (1998), http:\/\/www.erights.org"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K., Lillibridge, M., Nelson, C., Saxe, J., Stata, R.: Extended static checking for Java (2002)","DOI":"10.1145\/512557.512558"},{"key":"23_CR7","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification. Addison Wesley, Reading (2000)"},{"issue":"1-2","key":"23_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(97)00006-3","volume":"30","author":"V. Gupta","year":"1998","unstructured":"Gupta, V., Jagadeesan, R., Saraswat, V.: Computing with continuous change. Science of Computer Programming\u00a030(1-2), 3\u201349 (1998)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"23_CR9","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M. Herlihy","year":"1991","unstructured":"Herlihy, M.: Wait-free synchronization. ACMTransactions on Programming Languages and Systems\u00a013(1), 124\u2013149 (1991)","journal-title":"ACMTransactions on Programming Languages and Systems"},{"key":"23_CR10","unstructured":"Manson, J., Pugh, W.: A new approach to the semantics of Multithreaded Java (January 2003), http:\/\/www.cs.umd.edu\/pugh\/java\/memoryModel\/"},{"key":"23_CR11","first-page":"146","volume-title":"Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL 1997)","author":"M. Odersky","year":"1997","unstructured":"Odersky, M., Wadler, P.: Pizza into Java: Translating theory into practice. In: Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL 1997), Paris, France, pp. 146\u2013159. ACM Press, New York (1997)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"The Foundations of Esterel. In: Plotkin, G., Stirling, C., Tote, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. Foundations of Computing, pp. 425\u2013454. MIT Press, Cambridge (2000)","DOI":"10.7551\/mitpress\/5641.003.0021"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/(SICI)1096-9128(200001)12:1<1::AID-CPE433>3.0.CO;2-S","volume":"12","author":"W. Pugh","year":"2000","unstructured":"Pugh, W.: The Java memory model is fatally flawed. Concurrency: Practice and Experience\u00a012(1), 1\u201311 (2000)","journal-title":"Concurrency: Practice and Experience"},{"key":"23_CR14","series-title":"Doctoral Dissertation Award and Logic Programming","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. Saraswat","year":"1993","unstructured":"Saraswat, V.: Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming. MIT Press, Cambridge (1993)"},{"key":"23_CR15","first-page":"361","volume-title":"Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia","author":"V. Saraswat","year":"1994","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Programming in timed concurrent constraint languages. In: Mayoh, B., Tyugu, E., Penjaam, J. (eds.) Constraint Programming: Proceedings 1993 NATO ASI Parnu, Estonia, pp. 361\u2013410. Springer, Heidelberg (1994)"},{"issue":"5-6","key":"23_CR16","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"V. Saraswat","year":"1996","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Timed default concurrent constraint programming. Journal of Symbolic Computation\u00a022(5-6), 475\u2013520 (1996); Extended abstract appeared in the Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco (January 1995)","journal-title":"Journal of Symbolic Computation"},{"key":"23_CR17","unstructured":"Saraswat, V., Kahn, K., Levy, J.: Janus:A step towards distributed constraint programming. In: North American Logic Programming Conference (October 1990)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 324\u2013343. Springer, Heidelberg (1995)"},{"key":"23_CR19","unstructured":"Soper, P.: The Application Isolation API, JSR 121 (2001), http:\/\/www.jcp.org\/en\/jsr\/detail?id=121"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24580-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T05:08:58Z","timestamp":1711775338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24580-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205890","9783540245803"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24580-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}