Results 21 to 30 of about 20,367 (260)
The Usefulness of Mobile Compilers for Learning Computer Programming
This study examines the usefulness of mobile compilers for learning computer programming in higher learning institutions in Tanzania. The study was conducted at the Institute of Accountancy Arusha (IAA) and Arusha Technical College (ATC).
Kaanael Simon Mbise
doaj +1 more source
Retargetable Compilers for Embedded DSPs [PDF]
Programmable devices are a key technology for the design of embedded systems, such as in the consumer electronics market. Processor cores are used as building blocks for more and more embedded system designs, since they provide a unique combination of
Marwedel, Peter, Leupers, Rainer
core +1 more source
Compiling with Continuations and LLVM [PDF]
LLVM is an infrastructure for code generation and low-level optimizations, which has been gaining popularity as a backend for both research and industrial compilers, including many compilers for functional languages. While LLVM provides a relatively easy
Kavon Farvardin, John Reppy
doaj +1 more source
Calculating correct compilers [PDF]
In this article we present a new approach to the problem of calculating compilers. In particular, we develop a simple but general technique that allows us to derive correct compilers from high- level semantics by systematic calculation, with all details ...
Hutton, Graham, Bahr, Patrick
core +1 more source
Program Equivalence in the Erlang Actor Model
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky +2 more
doaj +1 more source
Compiler Compiler Facilities in Atlas Autocode [PDF]
As we have demonstrated in another paper in this issue (see page 345), the Compiler Compiler has proven itself to be a very useful tool in writing compilers. As we came to use it for more general data-processing tasks, the lack of any comprehensive arithmetic facilities became a limitation.
R. A. Brooker +2 more
openaire +1 more source
IoT Anomaly Detection with 1D CNN Using P4 Capabilities
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
Constructing Compilers in a Persistent Environment
Traditionally compilers have been described as consisting of separate modules: the syntax analyser; lexical analyser; code generator etc. However, in practice modern compilers are rarely constructed in this manner.
Dearle, Alan
core +2 more sources
A Compiler-Compiler for DSL Embedding
In this paper, we present a framework to generate compilers for embedded domain-specific languages (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of extensible optimizing compilers.
Amir Shaikhha +2 more
openaire +3 more sources
In this paper, I propose Yul2Vec, a novel method for representing Yul programs as distributed embeddings in continuous space. Yul serves as an intermediate language between Solidity and Ethereum Virtual Machine (EVM) bytecode, designed to enable more ...
Krzysztof Fonał
doaj +1 more source

