On the diversity and frequency of code related to mathematical formulas in real-world Java projects.
作者： Stephan Diehl , Oliver Moseler , Sebastian Baltes , Felix Lemmer
DOI: 10.1016/J.JSS.2020.110863
关键词:
摘要: In this paper, the term formula code refers to fragments of source that implement a mathematical formula. We present empirical studies analyze diversity and frequency in open-source-software projects. an exploratory study, we investigated what kinds formulas are implemented real-world Java projects derived syntactical patterns constraints. refined these for sum product automatically detect software archives reconstruct notation. quantitative study large sample engineered on GitHub analyzed estimated one 700 lines implements or For scientific-computing projects, found 100 To assess need tool support, helpfulness comments program understanding formula-code performed online survey. Our findings provide first insights into characteristics code, can motivate further role design formula-related tools.
arxiv.org
sci-hub.st 参考文章(23)
Florian Cajori, A history of mathematical notations ,(1928)
Peter B. Henderson, Mathematical reasoning in software engineering education Communications of The ACM. ,vol. 46, pp. 45- 50 ,(2003) , 10.1145/903893.903919
Hridesh Rajan, Hoan Anh Nguyen, Tien N. Nguyen, Robert Dyer, Boa: a language and infrastructure for analyzing ultra-large-scale software repositories international conference on software engineering. pp. 422- 431 ,(2013) , 10.5555/2486788.2486844
Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi, An empirical investigation into a large-scale Java open source code repository Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '10. pp. 11- ,(2010) , 10.1145/1852786.1852801
Richard Zanibbi, Dorothea Blostein, Recognition and retrieval of mathematical expressions International Journal on Document Analysis and Recognition. ,vol. 15, pp. 331- 357 ,(2012) , 10.1007/S10032-011-0174-4
Shahab Kamali, Frank Wm. Tompa, Retrieving documents with mathematical content international acm sigir conference on research and development in information retrieval. pp. 353- 362 ,(2013) , 10.1145/2484028.2484083
Kam-Fai Chan, Dit-Yan Yeung, Mathematical expression recognition: a survey International Journal on Document Analysis and Recognition. ,vol. 3, pp. 3- 15 ,(2000) , 10.1007/PL00013549
Brian W. Kernighan, Lorinda L. Cherry, A system for typesetting mathematics Communications of The ACM. ,vol. 18, pp. 151- 157 ,(1975) , 10.1145/360680.360684
David Landy, Colin Allen, Carlos Zednik, A perceptual account of symbolic reasoning Frontiers in Psychology. ,vol. 5, pp. 275- 275 ,(2014) , 10.3389/FPSYG.2014.00275
Michael Moser, Josef Pichler, Gunther Fleck, Michael Witlatschil, RbG: A documentation generator for scientific and engineering software ieee international conference on software analysis evolution and reengineering. pp. 464- 468 ,(2015) , 10.1109/SANER.2015.7081857