"A compiler translates (or compiles) a program written in a highlevel
programming language that is suitable for human programmers into
the low-level machine language that is...
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
"Bxbasic is presented as a programming tutorial, to develop and construct a Console Mode Scripting Engine and
Byte Code Compiler. The Bxbasic dialect, included here, is a sub...