Log in

Relevant bibliographies by topics / Programs analysis / Journal articles

To see the other types of publications on this topic, follow the link: Programs analysis.

Journal articles on the topic 'Programs analysis'

Author: Grafiati

Published: 28 June 2021

Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Schwarzer, Ralf. "Meta-analysis programs." Behavior Research Methods, Instruments, & Computers 20, no. 3 (1988): 338. http://dx.doi.org/10.3758/bf03203853.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Pé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 text

APA, Harvard, Vancouver, ISO, and other styles

3

Chaudhuri, 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 text

APA, Harvard, Vancouver, ISO, and other styles

4

Sun, 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 text

APA, Harvard, Vancouver, ISO, and other styles

5

Iwamoto, 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 text

APA, Harvard, Vancouver, ISO, and other styles

6

ZHANG, 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 text

APA, Harvard, Vancouver, ISO, and other styles

7

Choi, 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 text

APA, Harvard, Vancouver, ISO, and other styles

8

Irizarry, Estelle. "Software Programs for Literary Analysis." Hispania 72, no. 1 (1989): 214. http://dx.doi.org/10.2307/342719.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Guzev, 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 text

Abstract:

This paper describes the application of the rank analysis method for formal languages on the example of the source codes of programs in the Java language. When describing the technology for compiling frequency dictionaries, attention is focused on how the presence of anaphoric content in computer programs is taken into consideration. When discussing the results, it was noted that the structural components of programs for various purposes correspond to certain areas of the graph of the dependence of rank on the frequency of occurrence of a lexeme.

APA, Harvard, Vancouver, ISO, and other styles

10

Simmons, 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 text

Abstract:

Capturing and examining the causal and concurrent relationships of a distributed system is essential to a wide range of distributed systems applications. Many approaches to gathering this information rely on trace files of executions. The information obtained through tracing is limited to those executions observed. We present a methodology that analyzes the source code of the distributed system. Our analysis considers each process's source code and produces a single comprehensive graph of the system's possible behaviors. The graph, termed the partial order graph (POG), uniquely represents each

APA, Harvard, Vancouver, ISO, and other styles

11

Rugina, Radu, and Martin Rinard. "Pointer analysis for multithreaded programs." ACM SIGPLAN Notices 34, no. 5 (1999): 77–90. http://dx.doi.org/10.1145/301631.301645.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Laski, Janusz, William Stanley, and Jim Hurst. "Dependency analysis of Ada programs." ACM SIGAda Ada Letters XVIII, no. 6 (1998): 263–75. http://dx.doi.org/10.1145/301687.289645.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Arts, Thomas, and Lars-Åke Fredlund. "Trace analysis of Erlang programs." ACM SIGPLAN Notices 37, no. 12 (2002): 18–24. http://dx.doi.org/10.1145/636517.636524.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Debray, Saumya K., and Nai-Wei Lin. "Cost analysis of logic programs." ACM Transactions on Programming Languages and Systems 15, no. 5 (1993): 826–75. http://dx.doi.org/10.1145/161468.161472.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Bouajjani, Ahmed, and Michael Emmi. "Analysis of Recursively Parallel Programs." ACM Transactions on Programming Languages and Systems 35, no. 3 (2013): 1–49. http://dx.doi.org/10.1145/2518188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Altman, Erik, Matthew Arnold, Stephen Fink, and Nick Mitchell. "Performance analysis of idle programs." ACM SIGPLAN Notices 45, no. 10 (2010): 739–53. http://dx.doi.org/10.1145/1932682.1869519.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Sendeckyj, GP, SS Wang, W. Steven Johnson, et al. "Composite Bolted Joints Analysis Programs." Journal of Composites Technology and Research 12, no. 1 (1990): 41. http://dx.doi.org/10.1520/ctr10176j.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Jhala, Ranjit, and Rupak Majumdar. "Interprocedural analysis of asynchronous programs." ACM SIGPLAN Notices 42, no. 1 (2007): 339–50. http://dx.doi.org/10.1145/1190215.1190266.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Lin, Man. "Timing Analysis of PL Programs." IFAC Proceedings Volumes 32, no. 1 (1999): 203–8. http://dx.doi.org/10.1016/s1474-6670(17)39988-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Painter, James E., and Becky Sabbert. "Two Internet Diet Analysis Programs." Journal of Nutrition Education 33, no. 3 (2001): 173–74. http://dx.doi.org/10.1016/s1499-4046(06)60189-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Lancashire, Ian. "Concordance programs for literary analysis." ACM SIGCUE Outlook 19, no. 1-2 (1986): 54–61. http://dx.doi.org/10.1145/951656.951663.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Amey, P. N., and B. J. Dobbing. "Static analysis of Ravenscar programs." ACM SIGAda Ada Letters XXIII, no. 4 (2003): 58–64. http://dx.doi.org/10.1145/959221.959234.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Sankaranarayanan, Sriram, Aleksandar Chakarov, and Sumit Gulwani. "Static analysis for probabilistic programs." ACM SIGPLAN Notices 48, no. 6 (2013): 447–58. http://dx.doi.org/10.1145/2499370.2462179.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Morandi, Benjamin, Sebastian Nanz, and Bertrand Meyer. "Performance analysis of SCOOP programs." Journal of Systems and Software 85, no. 11 (2012): 2519–30. http://dx.doi.org/10.1016/j.jss.2012.05.076.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Lin, Man. "Timing analysis of PL programs." Control Engineering Practice 8, no. 6 (2000): 697–703. http://dx.doi.org/10.1016/s0967-0661(00)00022-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Weng, Min-Hsien, Mark Utting, and Bernhard Pfahringer. "Bound Analysis for Whiley Programs." Electronic Notes in Theoretical Computer Science 320 (February 2016): 53–67. http://dx.doi.org/10.1016/j.entcs.2016.01.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Reichenbach, Christoph, Michael G. Burke, Igor Peshansky, and Mukund Raghavachari. "Analysis of imperative XML programs." Information Systems 34, no. 7 (2009): 624–42. http://dx.doi.org/10.1016/j.is.2009.03.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Reif, John H., and Harry R. Lewis. "Efficient symbolic analysis of programs." Journal of Computer and System Sciences 32, no. 3 (1986): 280–314. http://dx.doi.org/10.1016/0022-0000(86)90031-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Axler, David M., and John R. Abercrombie. "Computer Programs for Literary Analysis." Journal of American Folklore 99, no. 393 (1986): 360. http://dx.doi.org/10.2307/540836.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Bouajjani, Ahmed, and Michael Emmi. "Analysis of recursively parallel programs." ACM SIGPLAN Notices 47, no. 1 (2012): 203–14. http://dx.doi.org/10.1145/2103621.2103681.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Ehrenfried, Daniel H. "Static analysis of Ada programs." ACM SIGAda Ada Letters XIV, no. 4 (1994): 28–35. http://dx.doi.org/10.1145/181476.181479.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Anjaneyulu, K. S. R. "Bug analysis of Pascal programs." ACM SIGPLAN Notices 29, no. 4 (1994): 15–22. http://dx.doi.org/10.1145/181761.181762.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Aulya, Annisa Fitri, Nurjamiah Suparman, and Safitri Nuril Kaunain. "Evaluation Analysis of Educational Programs." Journal of Quality Assurance in Islamic Education (JQAIE) 2, no. 1 (2022): 1–8. http://dx.doi.org/10.47945/jqaie.v2i1.605.

Full text

Abstract:

This study aims to understand more deeply about the concept of evaluating educational programs by reviewing the article that has been made before. The method used in this study is qualitative with the type of literature review research or literature review. Literature research or literature review is research that examines or critically reviews the knowledge, ideas, or findings contained in the academic literature. The data source is searched through google scholar using the keyword 'educational program'. The nature of this study is descriptive analysis, which is the regular decomposition of t

APA, Harvard, Vancouver, ISO, and other styles

34

Onai, Rikio, Hajime Shimizu, Kanae Masuda, and Moritoshi Aso. "Analysis of sequential PROLOG programs." Journal of Logic Programming 3, no. 2 (1986): 119–41. http://dx.doi.org/10.1016/0743-1066(86)90019-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Hanus, Michael. "Analysis of residuating logic programs." Journal of Logic Programming 24, no. 3 (1995): 219–45. http://dx.doi.org/10.1016/0743-1066(94)00105-f.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

van den Berg, KG, and PM van den Broek. "Static analysis of functional programs." Information and Software Technology 37, no. 4 (1995): 213–24. http://dx.doi.org/10.1016/0950-5849(95)90813-a.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Shapiro, Alexander. "Asymptotic analysis of stochastic programs." Annals of Operations Research 30, no. 1 (1991): 169–86. http://dx.doi.org/10.1007/bf02204815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Römisch, Werner, and Rüdiger Schultz. "Stability analysis for stochastic programs." Annals of Operations Research 30, no. 1 (1991): 241–66. http://dx.doi.org/10.1007/bf02204819.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Laneve, Cosimo, Michael Lienhardt, Ka I. Pun, and Guillermo Román-Díez. "Time analysis of actor programs." Journal of Logical and Algebraic Methods in Programming 105 (June 2019): 1–27. http://dx.doi.org/10.1016/j.jlamp.2019.02.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Veanes, Margus, and Jonathan Jacky. "Composing model programs for analysis." Journal of Logic and Algebraic Programming 79, no. 7 (2010): 467–82. http://dx.doi.org/10.1016/j.jlap.2010.07.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Payet, Étienne, and Fausto Spoto. "Static analysis of Android programs." Information and Software Technology 54, no. 11 (2012): 1192–201. http://dx.doi.org/10.1016/j.infsof.2012.05.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Coulomb, Jean-Michel, Jerzy A. Filar, and Witold Szczechla. "Asymptotic Analysis of Perturbed Mathematical Programs." Journal of Mathematical Analysis and Applications 251, no. 1 (2000): 132–56. http://dx.doi.org/10.1006/jmaa.2000.7025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Biňasová, Vladimíra, Branislav Mičieta, Martin Buzalka, Marta Kasajová, and Ján Zuzik. "Analysis of programs for operational and systems analysis." Technológ 16, no. 4 (2024): 78–81. https://doi.org/10.26552/tech.c.2024.4.13.

Full text

Abstract:

This paper deals with the selection and comparison of programs that students could use when preparing semester papers in the subject of Operational and Systems Analysis. The analysis consists of a comparison of work in selected software based on selected criteria, such as the availability of programs for students, the language in which the programs are written, the time spent on preparing individual assignments and the correctness of their results. The final part evaluates the benefits of the paper and the selection of the most suitable programs for individual types of tasks.

APA, Harvard, Vancouver, ISO, and other styles

44

Flegel, Michael L., Christian Kanzow, and Jiří V. Outrata. "Optimality Conditions for Disjunctive Programs with Application to Mathematical Programs with Equilibrium Constraints." Set-Valued Analysis 15, no. 2 (2006): 139–62. http://dx.doi.org/10.1007/s11228-006-0033-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Tippmann, H. F. "Analysis for free: Comparing programs for sequence analysis." Briefings in Bioinformatics 5, no. 1 (2004): 82–87. http://dx.doi.org/10.1093/bib/5.1.82.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Jeyakumar, V., and G. Y. Li. "New dual constraint qualifications characterizing zero duality gaps of convex programs and semidefinite programs." Nonlinear Analysis: Theory, Methods & Applications 71, no. 12 (2009): e2239-e2249. http://dx.doi.org/10.1016/j.na.2009.05.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Ponikvar, Nina, Marija Anderluh, Eva Strmljan Kreslin, and Mojca Marc. "ECONOMIC EVALUATION OF PREVENTIVE HEALTHCARE: A COST BENEFIT ANALYSIS OF A PARENTING PROGRAM." EURASIAN JOURNAL OF SOCIAL SCIENCES 9, no. 2 (2021): 89–97. http://dx.doi.org/10.15604/ejss.2021.09.02.003.

Full text

Abstract:

The positive impact of parenting programs on the health and wellbeing of individuals and their immediate community has been confirmed in many studies. Often, and especially during the Covid-19 pandemics, prevention health programs are stalled due to other policy priorities. Costbenefit analysis (CBA) can be used for the economic evaluation of public health programs to support evidence-based health policies and allows the comparison of the monetized effects of programs across different societal domains. However, CBA requires a variety of data that are typically difficult to obtain. Using the In

APA, Harvard, Vancouver, ISO, and other styles

48

Wang, Di, and Thomas Reps. "Newtonian Program Analysis of Probabilistic Programs." Proceedings of the ACM on Programming Languages 8, OOPSLA1 (2024): 305–33. http://dx.doi.org/10.1145/3649822.

Full text

Abstract:

Due to their quantitative nature, probabilistic programs pose non-trivial challenges for designing compositional and efficient program analyses. Many analyses for probabilistic programs rely on iterative approximation. This article presents an interprocedural dataflow-analysis framework, called NPA-PMA, for designing and implementing (partially) non-iterative program analyses of probabilistic programs with unstructured control-flow, nondeterminism, and general recursion. NPA-PMA is based on Newtonian Program Analysis (NPA), a generalization of Newton's method to solve equation systems over sem

APA, Harvard, Vancouver, ISO, and other styles

49

JARZABEK, STAN, HONGYU ZHANG, SHEN RU, VU TUNG LAM, and ZHENXIN SUN. "ANALYSIS OF META-PROGRAMS: AN EXAMPLE." International Journal of Software Engineering and Knowledge Engineering 16, no. 01 (2006): 77–101. http://dx.doi.org/10.1142/s0218194006002689.

Full text

Abstract:

Meta-programs are generic, incomplete, adaptable programs that are instantiated at construction time to meet specific requirements. Templates and generative techniques are examples of meta-programming techniques. Understanding of meta-programs is more difficult than understanding of concrete, executable programs. Static and dynamic analysis methods have been applied to ease understanding of programs — can similar methods be used for meta-programs? In our projects, we build meta-programs with a meta-programming technique called XVCL. Meta-programs in XVCL are organized into a hierarchy of meta-

APA, Harvard, Vancouver, ISO, and other styles

50

Bakar, Normi Sham Awang Abu. "The Analysis of Object-Oriented Metrics in C++ Programs." Lecture Notes on Software Engineering 4, no. 1 (2016): 48–52. http://dx.doi.org/10.7763/lnse.2016.v4.222.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!