Einloggen

Thematische Bibliographien / Programs analysis / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Programs analysis.

Zeitschriftenartikel zum Thema „Programs analysis“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Programs analysis" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

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

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!