Search
Search Results
-
Would ChatGPT-facilitated programming mode impact college students’ programming behaviors, performances, and perceptions? An empirical study
ChatGPT, an AI-based chatbot with automatic code generation abilities, has shown its promise in improving the quality of programming education by...
-
Functional Programming
For the past several years, the programming paradigm has experienced a renaissance that’s often viewed as a kind of counterdraft to object... -
A Functional Account of Probabilistic Programming with Possible Worlds
While there has been much cross-fertilization between functional and logic programming—e.g., leading to functional models of many Prolog... -
Functional Programming on Top of SQL Engines
SQL database systems support user-defined functions (UDFs), but they hardly encourage programming with these functions. Quite the contrary: the... -
Embedding Functional Logic Programming in Haskell via a Compiler Plugin
We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the... -
The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources
This is part II of the follow-up lecture notes of the lectures given by the authors at the Three “CO” (Composability, Comprehensibility, Correctness)... -
Programming event monitors
Specification languages for runtime verification are commonly rooted in formal languages, such as temporal logic, automata, or regular expressions....
-
VPI: Vehicle Programming Interface for Vehicle Computing
The emergence of software-defined vehicles (SDVs), combined with autonomous driving technologies, has enabled a new era of vehicle computing (VC),...
-
Mathematics in Programming
The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as...
-
CoAR-Maze: empowering children’s collaborative tangible programming in augmented reality
As an effective way to develop children’s computational thinking, programming education has been intensively studied by scholars. Among them,...
-
Reversible Functional Array Programming
Functional array programming is a style of programming that enables massive parallelism through use of combinators (such as map and reduce) that... -
Automated programming, symbolic computation, machine learning: my personal view
In this note, I present my personal view on the interaction of the three areas Automated Programming, Symbolic Computation, and Machine Learning....
-
Trends in Functional Programming 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held...
-
Functional Programming and Containers
Kotlin provides several functions that are widely used to implement functional programming style solutions in combination with collection container... -
Extending OP2 framework to support portable parallel programming of complex applications
Current HPC hardware presents the characteristics of heterogeneity and diversity. Portable parallel programming technologies are attractive for...
-
Optimized Multifaceted Approach in Agriculture by Goal Programming with R and Python
Scheduling and organizing is a crucial part of managing the land in agriculture. To do this, crop** pattern optimization within a set of...
-
A Formal Theory of Choreographic Programming
Choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which...
-
C# Application Programming Interface
In this concluding 11th chapter, readers will delve into the world of Application Programming Interfaces (APIs) in C#. The focus will be on... -
Personalized Programming Guidance Based on Deep Programming Learning Style Capturing
With the rapid development of big data and AI technology, programming is in high demand and has become an essential skill for students. Meanwhile,... -
The Reactive Programming Paradigm
In Chapter 9 , we completed our tour of the data presentation layer (UI) architecture design patterns for...