Suchergebnisse - "Programming Languages"

  1. 1

    Practical Foundations for Programming Languages von Harper, Robert

    ISBN: 1107029570, 9781107029576
    Veröffentlicht: Cambridge Cambridge University Press 17.12.2012
    “… Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed …”
    Volltext
    E-Book Buch
  2. 2

    Impact of Programming Languages on Learning Performance von Zaldivar, Daniel, Cuevas, Erik Hombre, Perez, Marco

    ISSN: 1550-1876, 1550-1337
    Veröffentlicht: Hershey IGI Global 01.01.2025
    “… The integration of various programming languages into the undergraduate engineering curriculum often occurs without adequate evaluation of their effectiveness within specific disciplines …”
    Volltext
    Journal Article
  3. 3

    Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann von Dal Lago, U.

    ISSN: 0960-1295, 1469-8072
    Veröffentlicht: Cambridge Cambridge University Press 01.06.2022
    Veröffentlicht in Mathematical structures in computer science (01.06.2022)
    “… This paper is meant to be a survey about implicit characterizations of complexity classes by fragments of higher-order programming languages, with a special focus on type systems and subsystems of linear logic …”
    Volltext
    Journal Article
  4. 4

    How to learn and how to teach computational thinking: Suggestions based on a review of the literature von Hsu, Ting-Chia, Chang, Shao-Chen, Hung, Yu-Ting

    ISSN: 0360-1315, 1873-782X
    Veröffentlicht: Elsevier Ltd 01.11.2018
    Veröffentlicht in Computers and education (01.11.2018)
    “… , programming languages, and course categories of CT education. From the review results, it was found that the promotion of CT in education has made great progress in the last decade …”
    Volltext
    Journal Article
  5. 5

    Implicit computation complexity in higher-order programming languages von Dal Lago, U.

    ISSN: 0960-1295, 1469-8072
    Veröffentlicht: Cambridge, UK Cambridge University Press 01.06.2022
    Veröffentlicht in Mathematical structures in computer science (01.06.2022)
    “… This paper is meant to be a survey about implicit characterizations of complexity classes by fragments of higher-order programming languages, with a special focus on type systems and subsystems of linear logic …”
    Volltext
    Journal Article
  6. 6

    Cross-subject domain adaptation for classifying working memory load with multi-frame EEG images: Cross-subject domain adaptation for von Chen, Junfu, Li, Sirui, Pi, Dechang

    ISSN: 1573-0484
    Veröffentlicht: New York Springer US 25.08.2025
    Veröffentlicht in The Journal of supercomputing (25.08.2025)
    “… However, one of the critical challenges is that individual differences may cause ineffective results, especially when the established model meets an unfamiliar subject …”
    Volltext
    Journal Article
  7. 7

    Performance comparison of the Java and Kotlin programming languages based on an auto-scroller mobile game von Gajek, Piotr, Plechawska-Wójcik, Małgorzata

    ISSN: 2544-0764, 2544-0764
    Veröffentlicht: Lublin University of Technology 30.12.2024
    Veröffentlicht in Journal of Computer Sciences Institute (30.12.2024)
    “… The article contains a performance comparison of two mobile applications, developed in the Java and Kotlin programming languages respectively …”
    Volltext
    Journal Article
  8. 8

    A Data-Driven Approach to Compare the Syntactic Difficulty of Programming Languages von Lokkila, Erno, Christopoulos, Athanasios, Laakso, Mikko-Jussi

    ISSN: 1055-3096, 2574-3872
    Veröffentlicht: West Lafayette Journal of Information Systems Education 2023
    Veröffentlicht in Journal of information systems education (2023)
    “… Educators who teach programming subjects are often wondering "which programming language should I teach first …”
    Volltext
    Journal Article
  9. 9

    METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS von TKACHUK, STANISLAV, MELNYK, OLEKSII

    ISSN: 2311-6382, 2415-3605
    Veröffentlicht: 11.07.2023
    “… ) education, the inclusion of a block of questions devoted to the semiotics of programming languages into the content of learning languages and programming methods will contribute to the successful …”
    Volltext
    Journal Article
  10. 10

    Empirical software engineering experts on the use of students and professionals in experiments von Falessi, Davide, Juristo, Natalia, Wohlin, Claes, Turhan, Burak, Münch, Jürgen, Jedlitschka, Andreas, Oivo, Markku

    ISSN: 1382-3256, 1573-7616, 1573-7616
    Veröffentlicht: New York Springer US 01.02.2018
    “… [Context] Controlled experiments are an important empirical method to generate and validate theories. Many software engineering experiments are conducted with …”
    Volltext
    Journal Article
  11. 11

    Parent-child interaction and children's learning from a coding application von Sheehan, Kelly J., Pila, Sarah, Lauricella, Alexis R., Wartella, Ellen A.

    ISSN: 0360-1315, 1873-782X
    Veröffentlicht: Elsevier Ltd 01.10.2019
    Veröffentlicht in Computers and education (01.10.2019)
    “… Research suggests that children can learn educational concepts from well-designed applications (apps), including foundational science, technology, engineering, …”
    Volltext
    Journal Article
  12. 12

    Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages von Lunden, Daniel, Borgström, Johannes, Broman, David

    ISBN: 3030720187, 9783030720186, 3030720195, 9783030720193
    Veröffentlicht: Switzerland Springer International Publishing AG 01.01.2021
    Veröffentlicht in Programming Languages and Systems (01.01.2021)
    “… In order to solve these inference problems, probabilistic programming languages (PPLs) employ different inference algorithms, such as sequential Monte Carlo (SMC …”
    Volltext
    Buchkapitel Tagungsbericht
  13. 13

    The formation of a unified database on physical subjects von Kozina, S A, Korobkin, D M, Fomenkov, S A, Vasiliev, S S

    ISSN: 1742-6588, 1742-6596
    Veröffentlicht: Bristol IOP Publishing 01.02.2021
    Veröffentlicht in Journal of physics. Conference series (01.02.2021)
    “… Currently, when applying for registration of an invention, to assess the chances of patenting an object, to determine the novelty, it is necessary to review …”
    Volltext
    Journal Article
  14. 14

    Toward a principled Bayesian workflow in cognitive science von Schad, Daniel J, Betancourt, Michael, Vasishth, Shravan

    ISSN: 1939-1463, 1939-1463
    Veröffentlicht: United States 01.02.2021
    Veröffentlicht in Psychological methods (01.02.2021)
    “… This has been facilitated by the development of probabilistic programming languages such as Stan, and easily accessible front-end packages such as brms …”
    Weitere Angaben
    Journal Article
  15. 15

    A practical guide to controlled experiments of software engineering tools with human participants von Ko, Amy J., LaToza, Thomas D., Burnett, Margaret M.

    ISSN: 1382-3256, 1573-7616
    Veröffentlicht: New York Springer US 01.02.2015
    “… Empirical studies, often in the form of controlled experiments, have been widely adopted in software engineering research as a way to evaluate the merits of …”
    Volltext
    Journal Article
  16. 16

    Supporting Process Model Validation through Natural Language Generation von Leopold, Henrik, Mendling, Jan, Polyvyanyy, Artem

    ISSN: 0098-5589, 1939-3520
    Veröffentlicht: New York IEEE 01.08.2014
    Veröffentlicht in IEEE transactions on software engineering (01.08.2014)
    “… The design and development of process-aware information systems is often supported by specifying requirements as business process models. Although this …”
    Volltext
    Journal Article
  17. 17

    A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges von Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing

    ISSN: 2373-745X
    Veröffentlicht: IEEE 2019
    Veröffentlicht in IEEE Communications surveys and tutorials (2019)
    “… Networks have grown increasingly complicated. Violations of intended policies can compromise network availability and network reliability. Network operators …”
    Volltext
    Journal Article
  18. 18

    Predicting software reuse using machine learning techniques-A case study on open-source Java software systems von Yeow, Matthew Yit Hang, Chong, Chun Yong, Lim, Mei Kuan, Yee Yen, Yuen

    ISSN: 1932-6203, 1932-6203
    Veröffentlicht: United States Public Library of Science 13.02.2025
    Veröffentlicht in PloS one (13.02.2025)
    “… Software reuse is an essential practice to increase efficiency and reduce costs in software production. Software reuse practices range from reusing artifacts, …”
    Volltext
    Journal Article
  19. 19

    FlowNL: Asking the Flow Data in Natural Languages von Huang, Jieying, Xi, Yang, Hu, Junnan, Tao, Jun

    ISSN: 1077-2626, 1941-0506, 1941-0506
    Veröffentlicht: United States IEEE 01.01.2023
    “… Flow visualization is essentially a tool to answer domain experts' questions about flow fields using rendered images. Static flow visualization approaches …”
    Volltext
    Journal Article
  20. 20

    Student Major Subject Prediction Model for Real-Application Using Neural Network von Islam, Aminul, Hoque, Jesmeen Mohd Zebaral, Hossen, Md. Jakir, Basiron, Halizah, Tawsif Khan, Chy. Mohammed

    ISSN: 2442-6571, 2442-6571
    Veröffentlicht: Yogyakarta Universitas Ahmad Dahlan 01.05.2025
    “… The university admission test is an arena for students in Bangladesh. Millions of students have passed the higher secondary school every year, and only limited …”
    Volltext
    Journal Article