Academic literature on the topic 'Programs analysis'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Programs analysis.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Programs analysis"
Schwarzer, Ralf. "Meta-analysis programs." Behavior Research Methods, Instruments, & Computers 20, no. 3 (1988): 338. http://dx.doi.org/10.3758/bf03203853.
Full textPérez-Bóveda, Astrid, and Concepción Yániz Álvarez de Eulate. "Programas de formación parental. Análisis comparativo // Parenting programs. Comparative analysis." REOP - Revista Española de Orientación y Psicopedagogía 26, no. 2 (2015): 104. http://dx.doi.org/10.5944/reop.vol.26.num.2.2015.15231.
Full textChaudhuri, Swarat, Sumit Gulwani, and Roberto Lublinerman. "Continuity analysis of programs." ACM SIGPLAN Notices 45, no. 1 (2010): 57–70. http://dx.doi.org/10.1145/1707801.1706308.
Full textSun, Kwangwon, and Sukyoung Ryu. "Analysis of JavaScript Programs." ACM Computing Surveys 50, no. 4 (2017): 1–34. http://dx.doi.org/10.1145/3106741.
Full textIwamoto, Seiichi. "Associative Dynamic Programs." Journal of Mathematical Analysis and Applications 201, no. 1 (1996): 195–211. http://dx.doi.org/10.1006/jmaa.1996.0250.
Full textZHANG, Jian. "Sharp Static Analysis of Programs." Chinese Journal of Computers 31, no. 9 (2009): 1549–53. http://dx.doi.org/10.3724/sp.j.1016.2008.01549.
Full textChoi, Haneul, Sueim Chung, Youngjin Choi, Hyeonji Kang, Jooyoung Jeon, and Donghee Shin. "Analysis of Polar Education Programs." Journal of the Korean earth science society 42, no. 1 (2021): 102–17. http://dx.doi.org/10.5467/jkess.2021.42.1.102.
Full textIrizarry, Estelle. "Software Programs for Literary Analysis." Hispania 72, no. 1 (1989): 214. http://dx.doi.org/10.2307/342719.
Full textGuzev, M. A., M. A. Knyazeva, I. I. Moskalev, and E. Y. Nikitina. "Rank analysis of computer programs." Dal'nevostochnyi Matematicheskii Zhurnal 20, no. 2 (2020): 155–63. http://dx.doi.org/10.47910/femj202017.
Full textSimmons, Sharon, Dennis Edwards, and Phil Kearns. "Communication Analysis of Distributed Programs." Scientific Programming 14, no. 2 (2006): 151–70. http://dx.doi.org/10.1155/2006/763568.
Full textDissertations / Theses on the topic "Programs analysis"
Nagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.
Full textJakobsson, Filip. "Static Analysis for BSPlib Programs." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.
Full textArmstrong, Alasdair. "Formal analysis of concurrent programs." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/13089/.
Full textKim, Minjang. "Dynamic program analysis algorithms to assist parallelization." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45758.
Full textZhang, Connie. "Static Conflict Analysis of Transaction Programs." Thesis, University of Waterloo, 2000. http://hdl.handle.net/10012/1052.
Full textXu, HaiYing. "Dynamic purity analysis for Java programs." Thesis, McGill University, 2007. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18481.
Full textMitchell, Neil. "Transformation and analysis of functional programs." Thesis, University of York, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495901.
Full textBenton, Peter Nicholas. "Strictness analysis of lazy functional programs." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.281891.
Full textAbu, Hashish Nabil. "Mutation analysis of dynamically typed programs." Thesis, University of Hull, 2013. http://hydra.hull.ac.uk/resources/hull:8444.
Full textHardwicke, Shannon Bragg. "An Analysis of Student Assistance Programs." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/27780.
Full textBooks on the topic "Programs analysis"
Zahn, John J. FORTRAN programs for reliability analysis. U.S. Dept. of Agriculture, Forest Service, Forest Products Laboratory, 1992.
Find full textD, Clay, Canada. Dept. of Fisheries and Oceans., and Gulf Fisheries Centre (Canada), eds. RVAN: Research Vessel ANalysis programs. Fisheries and Oceans, 1989.
Find full textColt, Stephen. Childcare assistance programs: Caseload analysis. State of Alaska, Dept. of Community and Regional Affairs, Division of Community and Rural Development, Child Care Programs, 1994.
Find full text1933-, Rosenthal Robert, ed. BASIC meta-analysis: Procedures and programs. L. Earlbaum Associates, 1985.
Find full textEducational Resources Information Center (U.S.), ed. Cross-program analysis: Links and commonalities among IASA programs. Northwest Regional Educational Laboratory, 1997.
Find full textUnited States. Office of Child Support Enforcement., Center for Policy Research (Denver, Colo.), and Policy Studies Inc, eds. Child access and visitation programs: Participant outcomes : program analysis. Dept. of Health and Human Services, Administration for Children and Families, Office of Child Support Enforcement, 2006.
Find full textMassé, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.
Find full textMasse, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.
Find full textMassacutee, Robert P. KEY analysis system. U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo., 1994.
Find full textBook chapters on the topic "Programs analysis"
Gayed, Ramez, and Amin Ghali. "Computer programs." In Structural Analysis Fundamentals. CRC Press, 2021. http://dx.doi.org/10.1201/9780429286858-20.
Full textBodik, Rastislav. "Algorithmic Program Synthesis with Partial Programs and Decision Procedures." In Static Analysis. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0_1.
Full textPeralta, Julio C., John P. Gallagher, and Hüseyin Sağlam. "Analysis of Imperative Programs through Analysis of Constraint Logic Programs." In Static Analysis. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_15.
Full textBouajjani, Ahmed, Michael Emmi, and Gennaro Parlato. "On Sequentializing Concurrent Programs." In Static Analysis. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23702-7_13.
Full textSuter, Philippe, Ali Sinan Köksal, and Viktor Kuncak. "Satisfiability Modulo Recursive Programs." In Static Analysis. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23702-7_23.
Full textRinard, Martin. "Analysis of Multithreaded Programs." In Static Analysis. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_1.
Full textAndersen, Erling B. "Computer Programs." In The Statistical Analysis of Categorical Data. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-78817-8_13.
Full textAndersen, Erling B. "Computer programs." In The Statistical Analysis of Categorical Data. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-97353-6_13.
Full textLaski, Janusz, and William Stanley. "How to Prove a Program Correct: Iterative Programs." In Software Verification and Analysis. Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5_3.
Full textHückelheim, Jan, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen Siegel, and Paul D. Hovland. "Verifying Properties of Differentiable Programs." In Static Analysis. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99725-4_14.
Full textConference papers on the topic "Programs analysis"
Rollins, B. C., G. T. Quickel, J. A. Beavers, and T. A. Bubenik. "Failure Analysis in Integrity Management Programs." In CORROSION 2007. NACE International, 2007. https://doi.org/10.5006/c2007-07145.
Full textWofford, George N. "Engineering Economic Analysis for Alternative Cooling Tower Treatment Programs." In CORROSION 1994. NACE International, 1994. https://doi.org/10.5006/c1994-94473.
Full textHarris, William R., Sriram Sankaranarayanan, Franjo Ivančić, and Aarti Gupta. "Program analysis via satisfiability modulo path programs." In the 37th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1706299.1706309.
Full textvan Tonder, Rijnard, and Claire Le Goues. "Tailoring programs for static analysis via program transformation." In ICSE '20: 42nd International Conference on Software Engineering. ACM, 2020. http://dx.doi.org/10.1145/3377811.3380343.
Full textLu, Pingjing, Bao Li, Zhengbin Pang, Ying Zhang, and Shaogang Wang. "Combining Program Analysis and Empirical Search to Optimize Programs." In 2013 IEEE International Conference on High Performance Computing and Communications (HPCC) & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (EUC). IEEE, 2013. http://dx.doi.org/10.1109/hpcc.and.euc.2013.272.
Full textSchlichtkrull, Anders, Rene Rydhof Hansen, and Flemming Nielson. "Isabelle-verified correctness of Datalog programs for program analysis." In SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing. ACM, 2024. http://dx.doi.org/10.1145/3605098.3636091.
Full textChaudhuri, Swarat, Sumit Gulwani, and Roberto Lublinerman. "Continuity analysis of programs." In the 37th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2010. http://dx.doi.org/10.1145/1706299.1706308.
Full textGiffhorn, Dennis. "Chopping Concurrent Programs." In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, 2009. http://dx.doi.org/10.1109/scam.2009.11.
Full textTiedemann, K. "Using statistical analysis to mitigate risk in environmental programs." In RISK ANALYSIS 2008. WIT Press, 2008. http://dx.doi.org/10.2495/risk080261.
Full textQuinlan, Dan. "Session details: Debugging MPD programs." In ISSTA07: International Symposium on Software Testing and Analysis. ACM, 2007. http://dx.doi.org/10.1145/3245808.
Full textReports on the topic "Programs analysis"
DEPARTMENT OF THE ARMY WASHINGTON DC. Army Programs: The Cost and Economic Analysis Program. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada402035.
Full textCaldés, Natalia, John A. Maluccio, and David Coady. The Cost of Poverty Alleviation Transfer Programs: A Comparative Analysis of Three Programs in Latin America. Inter-American Development Bank, 2004. http://dx.doi.org/10.18235/0008719.
Full textZahn, John J. Fortran programs for reliability analysis. U.S. Department of Agriculture, Forest Service, Forest Products Laboratory, 1992. http://dx.doi.org/10.2737/fpl-gtr-72.
Full textWiser, R., S. Olson, L. Bird, and B. Swezey. Utility Green Pricing Programs: A Statistical Analysis of Program Effectiveness. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/15006909.
Full textWiser, Ryan, Scott Olson, Lori Bird, and Blair Swezey. Utility green pricing programs: A statistical analysis of program effectiveness. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/821338.
Full textHeintze, Nevin. Set Based Analysis of ML Programs. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada270597.
Full textWhitten, Timothy C., Eric K. Green, William C. Rankin, and Joan P. Brannick. Impact Analysis for Research and Development Programs. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada203885.
Full textRozhkov, M., and K. Nakanishi. Computer programs for analysis of geophysical data. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/10193091.
Full textCummings, J. P., and D. P. Weygand. The new BNL partial wave analysis programs. Office of Scientific and Technical Information (OSTI), 1997. http://dx.doi.org/10.2172/525028.
Full textMaddux, Gary A. Systems Engineering Analysis of AMCOM Programs(s). Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada374425.
Full text