Search Results - "compiler"
-
1
Compiler-compiler for an eight bit microprocessor
Published 1991“…This paper shows the technique that can be used to design a compiler-compiler for an eight bit microprocessor. …”
Get full text
-
2
Compiling Exceptions Correctly
Published 2004“…Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. …”
Get full text
-
3
Calculating correct compilers
Published 2015“…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 of the implementation of the compilers falling naturally out of the calculation process. …”
Get full text
-
4
-
5
-
6
-
7
-
8
Compiling a 50-year journey
Published 2017“…Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. …”
Get full text
-
9
-
10
Incorporating Software Measurement Into a Compiler
Published 1998Subjects: Get full text
Get full text
-
11
Compilation of Quranic verses related to visual function
Published 2016“…Thus, this qualitative study aims to compile all the Quranic verses and Hadiths of Sahih Bukhari related to visual function by referring to the words “light”, “eye/s” and “sight (and its synonyms)”; which allows their frequency to be identified. …”
Get full text
Get full text
-
12
High-level language and compiler for reconfigurable computing
Published 2004“…This paper presents a high-level, algorithmic, single-assignment programming language and its tailor-made optimizing compiler. The compiler is able to generate a synthesizable hardware description language for reconfigurable systems based on input instruction set. …”
Get full text
-
13
-
14
NEUCOMP2 - parallel neural network compiler
Published 1996“…A parallel neural network compiler (NEUCOMP2) for a shared-memory parallel machine has been implemented by introducing parallelism in NEUCOMP. …”
Get full text
Get full text
-
15
Compiling concurrency correctly: cutting out the middle man
Published 2010“…The standard approach to proving compiler correctness for concurrent languages requires the use of multiple translations into an intermediate process calculus. …”
Get full text
-
16
Compiling concurrency correctly: verifying software transactional memory
Published 2013“…Then we outline a new approach to concurrent compiler correctness using the notion of bisimulation, implemented using the Agda theorem prover. …”
Get full text
-
17
Compilation of Malay criminological terms from online news
Published 2019“…Five hundred crime-related words were compiled. No automatic machines were in the initial process, but they were subsequently used to verify the data. …”
Get full text
Get full text
-
18
-
19
-
20