1140 search results - page 34 / 228 » Generating compilers for generated datapaths |
95
Voted
ENTCS
2008
15 years 2 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
139
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
129
Voted
ESOP
2010
Springer
16 years 4 days ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
124
Voted
TJS
2002
15 years 2 months ago
2002
FLAME, the Flexible API for Module-based Environments, is a proposed standard interface for the integration of parameterized hardware generators into high-level design tools. This ...
136
Voted
ENTCS
2008
15 years 2 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...