{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:22:15Z","timestamp":1743142935027,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319312194"},{"type":"electronic","value":"9783319312200"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31220-0_1","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:59:52Z","timestamp":1457773192000},"page":"3-14","source":"Crossref","is-referenced-by-count":7,"title":["Genericity in PAR Platform"],"prefix":"10.1007","author":[{"given":"Jinyun","family":"Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Gregor, D., Jarvi, J., Siek, J.G., Stroustrup, B., Reis, G.D., Lumsdaine, A.: Concepts: linguistic support for generic programming in C\u00a0++. In: Proceedings of the ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), pp. 291\u2013310. ACM Press, New York (2006)","DOI":"10.1145\/1167515.1167499"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Liveira, B.C.D.S., Gibbons, J.: Scala for generic programmers: Comparing Haskell and Scala support for generic programming. J. Funct. Program. 20(3\u20134), 303\u2013352 (2010)","DOI":"10.1017\/S0956796810000171"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Oliveira, B.C.D.S., Schrijvers, T., Choi, W., Lee, W., Yi, K.: The implicit calculus: a new foundation for generic programming. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012), pp. 35\u201344. ACM Press, New York (2012)","DOI":"10.1145\/2345156.2254070"},{"issue":"5","key":"1_CR4","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1016\/j.scico.2008.09.009","volume":"76","author":"JG Siek","year":"2011","unstructured":"Siek, J.G., Lumsdaine, A.: A language for generic programming in the large. Sci. Comput. Program. 76(5), 423\u2013465 (2011)","journal-title":"Sci. Comput. Program."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"David, V., Haveraaen, M.: Concepts as syntactic sugar. In: Proceedings of Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pp. 147\u2013156. IEEE Computer Society Press, California (2009)","DOI":"10.1109\/SCAM.2009.26"},{"issue":"9","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1449","DOI":"10.1016\/j.scico.2012.10.009","volume":"78","author":"A Sutton","year":"2013","unstructured":"Sutton, A., Maletic, J.I.: Emulating C++\u00a00x concepts. Sci. Comput. Program. 78(9), 1449\u20131469 (2013)","journal-title":"Sci. Comput. Program."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Gibbons, J., Paterson, R.: Parametric datatype-genericity. In: Proceedings of the the 2009 ACM SIGPLAN Workshop on Generic Programming (WGP 2009), pp. 85\u201393. ACM Press, New York (2009)","DOI":"10.1145\/1596614.1596626"},{"issue":"10","key":"1_CR8","doi-asserted-by":"publisher","first-page":"2617","DOI":"10.3724\/SP.J.1001.2009.03656","volume":"20","author":"L Chen","year":"2009","unstructured":"Chen, L., Xu, B.W., Qian, J., Zhou, T.L., Zhou, Y.M.: Refactoring generic instantiations based on type propagation analysis. J. Softw. 20(10), 2617\u20132627 (2009). (in Chinese with English abstract)","journal-title":"J. Softw."},{"key":"1_CR9","unstructured":"Chen, L.: Research on refactoring of generic program. Ph.D. thesis. Southeast University, Nanjing (2009) (in Chinese with English abstract)"},{"issue":"2\u20133","key":"1_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10766-005-3580-8","volume":"33","author":"D Gregor","year":"2005","unstructured":"Gregor, D., Jarvi, J., Kulkarni, M., Lumsdaine, A., Musser, D., Schupp, S.: Generic programming and high-performance libraries. Int. J. Parallel Prog. 33(2\u20133), 145\u2013164 (2005). doi:\n                      10.1007\/s10766-005-3580-8","journal-title":"Int. J. Parallel Prog."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Jarvi, J., Gregor, D., Willcock, J., Lumsdaine, A., Siek, J.G.: Algorithm specialization in generic programming: challenges of constrained generics in C++. In: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006), pp. 272\u2013282. ACM Press, New York (2006)","DOI":"10.1145\/1133981.1134014"},{"issue":"8","key":"1_CR12","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.scico.2007.10.006","volume":"74","author":"R Hinze","year":"2009","unstructured":"Hinze, R., Loh, A.: Generic programming in 3D. Sci. Comput. Program. 74(8), 590\u2013628 (2009)","journal-title":"Sci. Comput. Program."},{"key":"1_CR13","unstructured":"Xue, J.Y.: Formal derivation of a generic algorithmic program for solving general path problems. In: Proceedings of the 3rd ASCM, pp. 253\u2013258, August 1988"},{"key":"1_CR14","unstructured":"Xue, J.Y.: Two new strategies for developing loop invariants and their applications. J. Comput. Sci Technol. 8(2), 95\u2013102 (1993)"},{"issue":"6","key":"1_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF02946498","volume":"13","author":"JY Xue","year":"1998","unstructured":"Xue, J.Y.: Formal derivation of graph algorithmic programs using partition-and-recur. J. Comput. Sci. Technol. 13(6), 143\u2013151 (1998)","journal-title":"J. Comput. Sci. Technol."},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF02943151","volume":"12","author":"JY Xue","year":"1997","unstructured":"Xue, J.Y.: A unified approach for developing efficient algorithmic programs. J. Comput. Sci. Technol. 12(4), 103\u2013118 (1997)","journal-title":"J. Comput. Sci. Technol."},{"key":"1_CR17","unstructured":"Xue, J.Y., Davis, R.: A simple program whose Derivation and Proof Is Also. In: Proceedings of the First IEEE International Conference on Formal Engineering Method (ICFEM 1997). IEEE CS Press, November 1997"},{"key":"1_CR18","first-page":"149","volume":"18","author":"JY Xue","year":"1997","unstructured":"Xue, J.Y., Davis, R.: A derivation and proof of Knuth\u2019s binary to decimal program. Softw. Concepts Tools 18, 149\u2013156 (1997)","journal-title":"Softw. Concepts Tools"},{"issue":"6","key":"1_CR19","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF02946498","volume":"13","author":"JY Xue","year":"1998","unstructured":"Xue, J.Y.: Formal derivation of graph algorithmic programs using partition and recur. J. Comput. Sci. Technol. 13(6), 143\u2013151 (1998)","journal-title":"J. Comput. Sci. Technol."},{"key":"1_CR20","unstructured":"Xue, J.Y.: Developing the generic path algorithmic program and its instantiations using PAR method. In: Proceedings of the Second Asia Workshop on Programming Languages and Systems, Korea (2001)"},{"key":"1_CR21","unstructured":"Xue, J.Y.: PAR method and its supporting platform. In: Proceedings of International Workshop on Formal Method for Developing Software, Annual Report, No. 348, UNU-IIST, Macao (2006)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Wang, C.J., Xue, J.Y.: Formal derivation of a generic algorithmic program for solving a class extremum problems. In: Proceedings of 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel\/Distributed Computing (SNPD 2009), pp. 100\u2013105. IEEE Computer Society Press, California (2009)","DOI":"10.1109\/SNPD.2009.46"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02270-8_6","volume-title":"Frontiers in Algorithmics","author":"CJ Wang","year":"2009","unstructured":"Wang, C.J., Xue, J.Y.: Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. In: Deng, X., Hopcroft, J.E., Xue, J. (eds.) FAW 2009. LNCS, vol. 5598, pp. 27\u201339. Springer, Heidelberg (2009)"},{"key":"1_CR24","unstructured":"Xu, W.S., Xue, J.Y.: Research on java-based implementation of generic programming paradigm. Technique Report of Jiangxi Normal University (2003)"},{"key":"1_CR25","unstructured":"Unifying Theories od Generic Progrmming (2015). \n                      http:\/\/cs.ox.ac.uk\/projects\/utgp\/"},{"key":"1_CR26","volume-title":"Discrete Mathematics","author":"KA Ross","year":"1985","unstructured":"Ross, K.A., Wright, C.R.B.: Discrete Mathematics. Prentice- Hall Inc., New Jersey (1985)"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31220-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:36:06Z","timestamp":1559399766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31220-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312194","9783319312200"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31220-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}