3228 search results - page 1 / 646 » Basics of Compiler Design |
134
click to vote
Book
"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...
FAC
2010
13 years 3 months ago
2010
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...
TASE
2007
IEEE
13 years 10 months ago
2007
IEEE
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...
PLDI
1995
ACM
13 years 8 months ago
1995
ACM
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...
318
click to vote
Book
"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...