684 search results - page 19 / 137 » Compiler Tools in APL |
95
Voted
IDEAL
2007
Springer
15 years 8 months ago
2007
Springer
Many intermediate program representations are used by compilers and other software development tools. In this paper, we propose a novel representation technique that, unlike those ...
113
Voted
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
143
Voted
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
270
Voted
FPGA
2011
ACM
14 years 6 months ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
218
Voted
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...