Treffer 1 - 20 von 99.921

1

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal, Chang ; Hähnle, Reiner ; Henrio, Ludovic ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 46(1):1-58

• Software and its engin... Program semantics Programming logic Theory of computation →... CCS Concepts CCS Concepts: Theory of...
Zeitschrift
Zu den Favoriten
3

Design and application of teaching cases based on heuristic teaching in C programming language curriculums—taking the loop structure for an example
Feifan Zhang ; Zhenwan Peng ; Changqing Wang ; et al.
Frontiers in Education, Vol 10 (2025)

C programming heuristic teaching metho... cases loop-structure programming courses Education (General)
Fachzeitschrift
Zu den Favoriten
4

CAT-probing: A Metric-based Approach to Interpret How Pre-trained Models for Programming Language Attend Code Structure
Chen, Nuo ; Sun, Qiushi ; Zhu, Renyu ; et al.

Computer Science - Softw... Computer Science - Artif... Computer Science - Machi... Computer Science - Progr...
Report
Zu den Favoriten
5

pyJedAI: A Library with Resolution-Related Structures and Procedures for Products.
Ioannou, Ekaterini ; Nikoletos, Konstantinos ; Papadakis, George
INFORMS Journal on Computing. May/Jun2025, Vol. 37 Issue 3, p516-530. 15p.

ALGORITHMS DATA analysis PRODUCT attributes ELECTRONIC data processi... SYSTEM integration SOFTWARE libraries (Comp...
Fachzeitschrift
Zu den Favoriten
6

Implementation of Gated Graph Neural Network (GGNN) on Bug Prediction in Java, Python, and C++ Programming Languages.
Juwono, Elroy ; Novarino Phoa, Matthew Farrell ; Wijaya, Michael ; et al.
Procedia Computer Science. 2025, Vol. 269, p1171-1180. 10p.

Graph neural networks Java programming languag... Python programming langu... C++ Data structures Defect tracking (Compute...
Fachzeitschrift
Zu den Favoriten
7

AWK and GNU Octave Programming Languages Integrated with Generic Mapping Tools for Geomorphological Analysis
Lemenkova, Polina ; Ocean University of China (OUC) ; China Scholarship Council (CSC), State Oceanic Administration (SOA) Marine Scholarship of China, Grant # 2016SOA002, Beijing, People's Republic of China
GeoScience Engineering. 65(4):1-22

trench geospatial analysis data analysis AWK Octave GMT
Zeitschrift
Zu den Favoriten
8

Beyond Language Boundaries: Uncovering Programming Language Families for Code Language Models
Yun, Shangbo ; Gu, Xiaodong ; Huang, Jianghong ; et al.

Software Engineering
Report
Zu den Favoriten
9

Several Types of Types in Programming Languages
Martini, Simone ; Foundations of Component-based Ubiquitous Systems (FOCUS) ; Centre Inria d'Université Côte d'Azur ; et al.
3rd International Conference on History and Philosophy of Computing (HaPoC). :216-227

Pisa, Italy Abstraction mechanisms History of computing Programming languages Types ACM: D.: Software
Konferenz
Zu den Favoriten
10

Programming Parallelism on FPGAs with Eclat
Sylvestre, Loïc ; Sérot, Jocelyn ; Chailloux, Emmanuel ; et al.
International Journal of Parallel Programming. 53(4):26-26

Language design and impl... FPGAs Performance prediction Algorithmic skeletons Synchronous programming [INFO.INFO-PL]Computer S...
Zeitschrift
Zu den Favoriten
11

Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
Chen, Silin ; Bi, Ziqian ; Liu, Junyu ; et al.

Machine Learning Data Structures and Algo... Programming Languages
Report
Zu den Favoriten
12

Exploring the engagement effects of visual programming language for data structure courses.
Chih-Kai Chang ; Ya-Fei Yang ; Yu-Tzu Tsai
Education for Information. 2017, Vol. 33 Issue 3, p187-200. 14p.

Learning Motivation (Psychology) Data analysis Visual programming langu... Data structures
Fachzeitschrift
Zu den Favoriten
13

High-level quantum algorithm programming using Silq
Bezganovic, Viktorija ; Lewis, Marco ; Soudjani, Sadegh ; et al.

Quantum Physics Computer Science - Data... Computer Science - Progr...
Report
Zu den Favoriten
14

Functional programming with $λ$-tree syntax
Gérard, Ulysse ; Miller, Dale ; Scherer, Gabriel ; et al.
PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages. :1-16

Porto, Portugal Functional language Data types and structure... [INFO.INFO-PL]Computer S... Programming Languages [c...
Konferenz
Zu den Favoriten
15

A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Cruz, Flavio ; Rocha, Ricardo ; Goldstein, Seth Copen ; et al.
Theory and Practice of Logic Programming 14 (2014) 493-507

Computer Science - Progr...
Report
Zu den Favoriten
16

A high-level programming language implementation of topology optimization applied to the acoustic-structure interaction problem
Kook, Junghwan ; Chang, Jin Hyun
Structural and Multidisciplinary Optimization. 64(6):4387-4408

Fachzeitschrift
Zu den Favoriten
17

Exploring the Engagement Effects of Visual Programming Language for Data Structure Courses
Chang, Chih-Kai ; Yang, Ya-Fei ; Tsai, Yu-Tzu
14

Programming Languages Student Motivation Questionnaires Correlation Computer Science Educati... Teaching Methods
Fachzeitschrift
Zu den Favoriten
18

A programming language characterizing quantum polynomial time
Hainry, Emmanuel ; Péchoux, Romain ; Silva, Mário ; et al.
International Conference on Foundations of Software Science and Computation Structures. :156-175

Paris, France quantum programming lang... polynomial time quantum circuit complexity [INFO.INFO-PL]Computer S...
Konferenz
Zu den Favoriten
19

From document to program embeddings: can distributional hypothesis really be used on programming languages?
De représentations de documents à programmes : l'hypothèse distributionnelle peut-elle vraiment être utilisée sur les langages de programmation ?

Martinet, Thibaut ; Cleuziou, Guillaume ; Exbrayat, Matthieu ; et al.
European Conference on Artificial Intelligence (ECAI), Oct 2024, Saint-Jacques de Compostelle, Spain

Saint-Jacques de Compost... program embedding evalua... distributional hypothesi... program analogies natural language programming language
Konferenz
Zu den Favoriten

Filter