Suchergebnisse - "Programming Languages"
-
1
Practical Foundations for Programming Languages
ISBN: 1107029570, 9781107029576Verö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
Impact of Programming Languages on Learning Performance
ISSN: 1550-1876, 1550-1337Veröffentlicht: Hershey IGI Global 01.01.2025Veröffentlicht in International journal of information and communication technology education (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
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann
ISSN: 0960-1295, 1469-8072Veröffentlicht: Cambridge Cambridge University Press 01.06.2022Verö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
How to learn and how to teach computational thinking: Suggestions based on a review of the literature
ISSN: 0360-1315, 1873-782XVeröffentlicht: Elsevier Ltd 01.11.2018Verö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
Implicit computation complexity in higher-order programming languages
ISSN: 0960-1295, 1469-8072Veröffentlicht: Cambridge, UK Cambridge University Press 01.06.2022Verö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
Cross-subject domain adaptation for classifying working memory load with multi-frame EEG images: Cross-subject domain adaptation for
ISSN: 1573-0484Veröffentlicht: New York Springer US 25.08.2025Verö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
Performance comparison of the Java and Kotlin programming languages based on an auto-scroller mobile game
ISSN: 2544-0764, 2544-0764Veröffentlicht: Lublin University of Technology 30.12.2024Verö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
A Data-Driven Approach to Compare the Syntactic Difficulty of Programming Languages
ISSN: 1055-3096, 2574-3872Veröffentlicht: West Lafayette Journal of Information Systems Education 2023Verö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
METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS
ISSN: 2311-6382, 2415-3605Veröffentlicht: 11.07.2023Veröffentlicht in The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy (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
Empirical software engineering experts on the use of students and professionals in experiments
ISSN: 1382-3256, 1573-7616, 1573-7616Veröffentlicht: New York Springer US 01.02.2018Veröffentlicht in Empirical software engineering : an international journal (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
Parent-child interaction and children's learning from a coding application
ISSN: 0360-1315, 1873-782XVeröffentlicht: Elsevier Ltd 01.10.2019Verö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
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
ISBN: 3030720187, 9783030720186, 3030720195, 9783030720193Veröffentlicht: Switzerland Springer International Publishing AG 01.01.2021Verö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
The formation of a unified database on physical subjects
ISSN: 1742-6588, 1742-6596Veröffentlicht: Bristol IOP Publishing 01.02.2021Verö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
Toward a principled Bayesian workflow in cognitive science
ISSN: 1939-1463, 1939-1463Veröffentlicht: United States 01.02.2021Verö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
A practical guide to controlled experiments of software engineering tools with human participants
ISSN: 1382-3256, 1573-7616Veröffentlicht: New York Springer US 01.02.2015Veröffentlicht in Empirical software engineering : an international journal (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
Supporting Process Model Validation through Natural Language Generation
ISSN: 0098-5589, 1939-3520Veröffentlicht: New York IEEE 01.08.2014Verö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
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
ISSN: 2373-745XVeröffentlicht: IEEE 2019Verö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
Predicting software reuse using machine learning techniques-A case study on open-source Java software systems
ISSN: 1932-6203, 1932-6203Veröffentlicht: United States Public Library of Science 13.02.2025Verö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
FlowNL: Asking the Flow Data in Natural Languages
ISSN: 1077-2626, 1941-0506, 1941-0506Veröffentlicht: United States IEEE 01.01.2023Veröffentlicht in IEEE transactions on visualization and computer graphics (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
Student Major Subject Prediction Model for Real-Application Using Neural Network
ISSN: 2442-6571, 2442-6571Veröffentlicht: Yogyakarta Universitas Ahmad Dahlan 01.05.2025Veröffentlicht in International journal of advances in intelligent informatics (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

