619 search results - page 52 / 124 » The Design and Implementation of a Certifying Compiler |
125
click to vote
CL
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
EUROPAR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
103
click to vote
PPDP
2000
Springer
15 years 3 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
INFOVIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper introduces a new visualization method, the arc diagram, which is capable of representing complex patterns of repetition in string data. Arc diagrams improve over previo...
CROSSROADS
2006
14 years 12 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...