• Suche: Programming language foundations

Treffer 1 - 20 von 472.216

1

Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: A Haskell Case Study
Van Dam, Tim ; Van der Heijden, Frank ; De Bekker, Philippe ; et al.
2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering (Forge) Conference Acronym: FORGE AI Foundation Models and Software Engineering (Forge), 2024 IEEE/ACM First International Conference on. :91-102 Apr, 2024

Konferenz
Merkliste
2

Chapter 3: Mathematical Foundations
Computer Graphics Programming in OpenGL with C++, Third Edition. Dec 06, 2024

Buch
Merkliste
3

Analyzing the Performance and Practicality of C, Rust, Python, and Lua Programming Languages for Developing Microcontroller Applications
Dashdamirli, Nuru
2025 6th International Conference on Problems of Cybernetics and Informatics (PCI) Problems of Cybernetics and Informatics (PCI), 2025 6th International Conference on. :1-5 Aug, 2025

Konferenz
Merkliste
4

Chapter 15: Visual Programming
Data Mining and Predictive Analytics for Business Decisions. Dec 09, 2024

Buch
Merkliste
5

Psi-CAL: Foundations of a Programming Language for Services Computing
Kumar, Arun ; Rajani, Vineet ; Janakiram, Dharanipragada
2013 IEEE International Conference on Services Computing Services Computing (SCC), 2013 IEEE International Conference on. :721-728 Jun, 2013

Konferenz
Merkliste
6

Programming language foundations in Agda
Kokke, Wen ; Siek, Jeremy G. ; Wadler, Philip
In Science of Computer Programming 1 August 2020 194

Fachzeitschrift
Merkliste
7

Analysis of the Application of Rooted Node in GP 2 Programming Language for Knowledge Graph-Based Movie Recommendation Systems
Hidayat, Muhammad Ramdhan Fitra ; Wulandari, Gia Septiana ; Selviandro, Nungki
2025 International Conference on Data Science and Its Applications (ICoDSA) Data Science and Its Applications (ICoDSA), 2025 International Conference on. :225-230 Jul, 2025

Konferenz
Merkliste
8

Programming Language Foundations in Agda
Formal methods: foundations and applications
Wadler, Philip
Lecture notes in computer science. 11254:56-73

Konferenz
Merkliste
9

Applying the Block-Based Programming Language ALICE for Developing Programming Competencies in University Students
Vinueza-Morales, M. ; Cardenas-Cobo, J. ; Cabezas-Quinto, J. ; et al.
IEEE Access Access, IEEE. 13:21471-21485 2025

Fachzeitschrift
Merkliste
10

A Forward Chaining Expert System for Personalized Programming Language Selection
Sholihin, Andi ; Hidayati, Shintami Chusnul
2024 International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies (3ICT) Innovation and Intelligence for Informatics, Computing, and Technologies (3ICT), 2024 International Conference on. :324-328 Nov, 2024

Konferenz
Merkliste
11

A comparison of three solver-aided programming languages: [formula omitted]Rby, ProB, and Rosette
St-Denis, Richard
In Journal of Computer Languages November 2023 77

Fachzeitschrift
Merkliste
12

A Systematic Study on the Potentials and Limitations of LLM-assisted Software Development
Michelutti, Chiara ; Eckert, Jens ; Monecke, Milko ; et al.
2024 2nd International Conference on Foundation and Large Language Models (FLLM) Foundation and Large Language Models (FLLM), 2024 2nd International Conference on. :330-338 Nov, 2024

Konferenz
Merkliste
13

1 Introduction
Mathematical Foundations of Data Science Using R. Dec 09, 2024

Buch
Merkliste
14

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog
D. V. Zdor
Advanced Engineering Research, Vol 21, Iss 2, Pp 200-206 (2021)

logical programming branching repetition of predicates recursive rule recursion termination co... Materials of engineering... …
Fachzeitschrift
Merkliste
15

EzLang: A C Based Programming Language
Sesha, Puravasu Jaideep ; Bairagi, Siddhi Anil ; Abhishek, K ; et al.
2023 7th International Conference On Computing, Communication, Control And Automation (ICCUBEA) Computing, Communication, Control And Automation (ICCUBEA), 2023 7th International Conference On. :1-5 Aug, 2023

Konferenz
Merkliste
16

The Current State of Research on Malware Written in the Rust Programming Language
Praveen, Meghna ; Almobaideen, Wesam
2023 International Conference on Information Technology (ICIT) Information Technology (ICIT), 2023 International Conference on. :266-270 Aug, 2023

Konferenz
Merkliste
17

Boosting Just-in-Time Defect Prediction with Specific Features of C/C++ Programming Languages in Code Changes
Ni, Chao ; Xu, Xiaodan ; Yang, Kaiwen ; et al.
2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR) MSR Mining Software Repositories (MSR), 2023 IEEE/ACM 20th International Conference on. :472-484 May, 2023

Konferenz
Merkliste
18

A Categorical Foundation for Structured Reversible Flowchart Languages
Glück, Robert ; Kaarsgaard, Robin
In Electronic Notes in Theoretical Computer Science 16 April 2018 336:155-171

Fachzeitschrift
Merkliste
19

DPL: A Language for GDPR Enforcement
Karami, Farzane ; Basin, David ; Johnsen, Einar Broch
2022 IEEE 35th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2022 IEEE 35th. :112-129 Aug, 2022

Konferenz
Merkliste
20

From reversible programming languages to reversible metalanguages
Glück, Robert ; Kaarsgaard, Robin ; Yokoyama, Tetsuo
In Theoretical Computer Science 12 June 2022 920:46-63

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter