{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:49:26Z","timestamp":1773190166625,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540691631","type":"print"},{"value":"9783540691662","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69166-2_18","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T05:25:03Z","timestamp":1215926703000},"page":"270-282","source":"Crossref","is-referenced-by-count":33,"title":["Quantum Entanglement Analysis Based on Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Simon","family":"Perdrix","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Abramsky, S.: A Cook\u2019s tour of a simple quantum programming language. In: 3rd International Symposium on Domain Theory, Xi\u2019an, China (May 2004)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1103\/PhysRevLett.47.460","volume":"47","author":"A. Aspect","year":"1981","unstructured":"Aspect, A., Grangier, P., Roger, G.: Experimental tests of realistic local theories via Bell\u2019s theorem. Phys. Rev. Lett.\u00a047, 460 (1981)","journal-title":"Phys. Rev. Lett."},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","volume":"70","author":"C.H. Bennett","year":"1993","unstructured":"Bennett, C.H., Brassard, G., Cr\u00e9peau, C., Jozsa, R., Peres, A., Wootters, W.K.: Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett.\u00a070, 1895\u20131899 (1993)","journal-title":"Phys. Rev. Lett."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1103\/PhysRevLett.82.53","volume":"82","author":"C.H. Bennett","year":"1999","unstructured":"Bennett, C.H., DiVincenzo, D.P., Mor, T., Shor, P.W., Smolin, J.A., Terhal, B.M.: Unextendible product bases and bound entanglement. Phys. Rev. Lett.\u00a082, 53\u201385 (1999)","journal-title":"Phys. Rev. Lett."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Eggeling, T., Werner, R.F.: Separability properties of tripartite states with uuu -symmetry. Phys. Rev. A\u00a063(0421111) (2001)","DOI":"10.1103\/PhysRevA.63.042111"},{"issue":"10","key":"18_CR7","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A. Einstein","year":"1935","unstructured":"Einstein, A., Podolsky, B., Rosen, N.: Can quantum-mechanical description of reality be considered complete? Phys. Rev.\u00a047(10), 777\u2013780 (1935)","journal-title":"Phys. Rev."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Gay, S.J.: Quantum programming languages: Survey and bibliography. Mathematical Structures in Computer Science\u00a016(4) (2006)","DOI":"10.1017\/S0960129506005378"},{"key":"18_CR9","unstructured":"Gay, S.J., Rajagopal, A.K., Papanikolaou, N.: Qmc: A model qmc: A model checker for quantum systems. arxiv:0704.3705 (2007)"},{"key":"18_CR10","first-page":"10","volume-title":"Proceedings of the 35-th ACM Symposium on Theory of Computing","author":"L. Gurvits","year":"2003","unstructured":"Gurvits, L.: Classical deterministic complexity of Edmonds\u2019 problem and quantum entanglement. In: Proceedings of the 35-th ACM Symposium on Theory of Computing, p. 10. ACM Press, New York (2003)"},{"issue":"5","key":"18_CR11","first-page":"797","volume":"14","author":"P.. Jorrand","year":"2003","unstructured":"Jorrand, P., Mhalla, M.: Separability of pure n-qubit states: two characterizations. IJFCS\u00a014(5), 797\u2013814 (2003)","journal-title":"IJFCS"},{"key":"18_CR12","unstructured":"Kashefi, E.: Quantum domain theory - definitions and applications. In: Proceedings of Computability and Complexity in Analysis (CCA 2003) (2003)"},{"key":"18_CR13","volume-title":"Quantum computation and quantum information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum computation and quantum information. Cambridge University Press, New York (2000)"},{"key":"18_CR14","unstructured":"Perdrix, S.: Formal models of quantum computation: resources, abstract machines and measurement-based quantum computation (in french). PhD thesis, Institut National Polytechnique de Grenoble (2006)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Perdrix, S.: A hierarchy of quantum semantics. In: The Proceedings of the 3rd International Workshop on Development of Computational Models (to appear, 2007)","DOI":"10.1016\/j.entcs.2008.10.028"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Prost, F., Zerrari, C.: A logical analysis of entanglement and separability in quantum higher-order functions. arXiv.org:0801.0649 (2008)","DOI":"10.1007\/978-3-642-03745-0_25"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Functional and Logic Programming","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 1\u20136. Springer, Heidelberg (2004)"},{"issue":"4","key":"18_CR18","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science\u00a014(4), 527\u2013586 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/SFCS.1994.365700","volume-title":"Proceedings of the 35 th Annual Symposium on Foundations of Computer Science","author":"P. Shor","year":"1994","unstructured":"Shor, P.: Algorithms for quantum computation: Discrete logarithms and factoring. In: Goldwasser, S. (ed.) Proceedings of the 35 th Annual Symposium on Foundations of Computer Science, pp. 124\u2013134. IEEE Computer Society\u00a0Press, Los Alamitos (1994)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Van den Nest, M., Miyake, A., D\u00fcr, W., Briegel, H.J.: Universal resources for measurement\u2013based quantum computation (2006)","DOI":"10.1103\/PhysRevLett.97.150504"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1364\/JOSAB.24.000172","volume":"24","author":"A.G. White","year":"2007","unstructured":"White, A.G., Gilchrist, A., Pryde, G.J., O\u2019Brien, J.L., Bremner, M.J., Langford, N.K.: Measuring two-qubit gates. J. Opt. Soc. Am. B\u00a024(2), 172\u2013183 (2007)","journal-title":"J. Opt. Soc. Am. B"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69166-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T01:06:34Z","timestamp":1684458394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69166-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540691631","9783540691662"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69166-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}