Results 21 to 30 of about 699 (280)
Computers, 2023 DevOps methodology and tools, which provide standardized ways for continuous integration (CI) and continuous deployment (CD), are invaluable for efficient software development.
Baasanjargal Erdenebat +3 more
doaj +1 more source
Compilation of functional languages by program transformation [PDF]
ACM Transactions on Programming Languages and Systems, 1991 One of the most important issues concerning functional languages is the efficiency and the correctness of their implementation. We focus on sequential implementations for conventional von Neumann computers. The compilation process is described in terms of program transformations in the functional framework.
Pascal Fradet, Daniel Le Métayer
openaire +1 more source
A Tag-Based Solution for Safer Parallel STL Usage
Acta Electrotechnica et Informatica, 2023 The continuous evolution of programming languages creates a challenge not only for the compiler implementers but also for the regular developers. The C++17 standard introduced the Parallel STL library, a parallel extension of the original and fundamental
Barth Benjámin +2 more
doaj +1 more source
Programming Languages and Systems [PDF]
, 2020 This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software ...
core +1 more source
Compilation Semantics for a Programming Language with Versions
, 2023 AbstractProgramming with versions is a paradigm that allows a program to use multiple versions of a module so that the programmer can selectively use functions from both older and newer versions of a single module. Previous work formalized $$\lambda _{\textrm{VL}}$$ λ VL
Yudai Tanabe +3 more
openaire +2 more sources
TOWARDS A HIGH-LEVEL C++ ABSTRACTION TO UTILIZE THE READ-COPY-UPDATE PATTERN [PDF]
Acta Electrotechnica et Informatica, 2018 Concurrent programming with classical mutex/lock techniques does not scale well when reads are way more frequent than writes. Such situation happens in operating system kernels among other performance critical multithreaded applications.
Gabor MÁRTON +2 more
doaj +1 more source
Scientific African, 2022 Universities in developing countries and maybe a few in some developed countries are faced with the challenge of adopting an effective pedagogy for teaching Computer Programming Languages to students.
Idongesit Eteng +3 more
doaj +1 more source
ChocoPy: a programming language for compilers courses [PDF]
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 2019 ChocoPy is a programming language designed for teaching an undergraduate course on programming languages and compilers. ChocoPy is a restricted subset of Python 3.6, using static type annotations to enforce compile-time type safety. ChocoPy is fully specified using formal grammar, typing rules, and operational semantics.
Rohan Padhye +2 more
openaire +1 more source
IoT Anomaly Detection with 1D CNN Using P4 Capabilities
Acta Electrotechnica et Informatica, 2023 Although the Internet of Things (IoT) is a rapidly developing technology, it also brings a number of security challenges, such as IoT attacks. Currently, research on IoT anomaly detection in Software-Defined Networking (SDN) relies only on the control ...
Altangerel Gereltsetseg +2 more
doaj +1 more source
The Clustering of Lambda Terms by Using Embeddings
Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, 2023 Relevance. The importance of optimizing compilers and interpreters for functional programming languages, mainly through the lens of Lambda Calculus, is paramount in addressing the increasing complexity and performance requirements in software engineering.
Олександр Дейнега
doaj +1 more source