3056 search results - page 151 / 612 » Compiling Embedded Languages |
103
click to vote
MASCOTS
2003
15 years 3 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
150
click to vote
TOPLAS
2002
15 years 1 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
116
click to vote
FCCM
2000
IEEE
15 years 6 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...
104
click to vote
ICPP
1996
IEEE
15 years 6 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
117
click to vote
HOPL
1993
15 years 6 months ago
1993
This paper outlines the history of the C++ programming language. The emphasis is on the ideas, constraints, and people that shaped the language, rather than the minutiae of langua...