619 search results - page 5 / 124 » The Design and Implementation of a Certifying Compiler |
JVM
2001
13 years 8 months ago
2001
d Abstract] Fuyuhiko Maruyama Tokyo Institute of Technology Tokyo, Japan Satoshi Matsuoka
JUCS
2006
13 years 7 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
FPLE
1995
13 years 11 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
FPGA
1997
ACM
13 years 11 months ago
1997
ACM
Event identification in photon counting ICCD detectors requires a high level image analysis which cannot be easily described algorithmically: neural networks are promising to appr...