{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:36:54Z","timestamp":1743093414999,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642007217"},{"type":"electronic","value":"9783642007224"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00722-4_5","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T21:00:16Z","timestamp":1238101216000},"page":"48-62","source":"Crossref","is-referenced-by-count":10,"title":["Compile-Time Analysis and Specialization of Clocks in Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Nalini","family":"Vasudevan","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Tardieu","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[]},{"given":"Stephen A.","family":"Edwards","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"5_CR1","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/1103845.1094852","volume":"40","author":"P. Charles","year":"2005","unstructured":"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.\u00a040(10), 519\u2013538 (2005)","journal-title":"SIGPLAN Not."},{"key":"5_CR2","first-page":"271","volume-title":"PPoPP 2007: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"V.A. Saraswat","year":"2007","unstructured":"Saraswat, V.A., Sarkar, V., von Praun, C.: X10: concurrent programming for modern architectures. In: PPoPP 2007: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, p. 271. ACM, New York (2007)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: An OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"5_CR4","unstructured":"IBM, et al.: T. j. watson libraries for analysis (2006), \n                  \n                    http:\/\/wala.sourceforge.net"},{"key":"5_CR5","unstructured":"Vasudevan, N., Tardieu, O., Dolby, J., Edwards, S.A.: Analysis of clocks in x10 programs (extended). Technical Report CUCS\u2013052\u201308, Columbia University, Department of Computer Science, New York, USA (December 2008)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/582034.582042","volume-title":"Supercomputing 2001: Proceedings of the 2001 ACM\/IEEE conference on Supercomputing (CDROM)","author":"L.A. Smith","year":"2001","unstructured":"Smith, L.A., Bull, J.M., Obdrz\u00e1lek, J.: A parallel java grande benchmark suite. In: Supercomputing 2001: Proceedings of the 2001 ACM\/IEEE conference on Supercomputing (CDROM), p. 8. ACM, New York (2001)"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Vasudevan, N., Edwards, S.A.: Static deadlock detection for the SHIM concurrent language. In: Proceedings of the International Conference on Formal Methods and Models for Codesign (MEMOCODE), Anaheim, California (June 2008)","DOI":"10.1109\/MEMCOD.2008.4547686"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/3-540-55511-0_16","volume-title":"Mathematical Foundations of Programming Semantics","author":"N. Mercouroff","year":"1992","unstructured":"Mercouroff, N.: An algorithm for analyzing communicating processes. In: Schmidt, D., Main, M.G., Melton, A.C., Mislove, M.W., Brookes, S.D. (eds.) MFPS 1991. LNCS, vol.\u00a0598, pp. 312\u2013325. Springer, Heidelberg (1992)"},{"key":"5_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/1190215.1190264","volume":"42","author":"J. Reppy","year":"2007","unstructured":"Reppy, J., Xiao, Y.: Specialization of CML message-passing primitives. SIGPLAN Notices\u00a042(1), 315\u2013326 (2007)","journal-title":"SIGPLAN Notices"},{"key":"5_CR13","first-page":"183","volume-title":"Proceedings of Principles and Practice of Parallel Programming (PPoPP)","author":"S. Agarwal","year":"2007","unstructured":"Agarwal, S., Barik, R., Sarkar, V., Shyamasundar, R.K.: May-happen-in-parallel analysis of x10 programs. In: Proceedings of Principles and Practice of Parallel Programming (PPoPP), pp. 183\u2013193. ACM, New York (2007)"},{"key":"5_CR14","first-page":"11","volume-title":"Proceedings of Principles and Practice of Parallel Programming (PPoPP)","author":"S. Chandra","year":"2008","unstructured":"Chandra, S., Saraswat, V., Sarkar, V., Bodik, R.: Type inference for locality analysis of distributed data structures. In: Proceedings of Principles and Practice of Parallel Programming (PPoPP), pp. 11\u201322. ACM, New York (2008)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00722-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T03:28:39Z","timestamp":1551929319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00722-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642007217","9783642007224"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00722-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}