Sciweavers

Share
16 search results - page 1 / 4
» Converting Intermediate Code to Assembly Code Using Declarat...
Sort
View
CC
2006
Springer
125views System Software» more  CC 2006»
10 years 3 months ago
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
João Dias, Norman Ramsey
POPL
2010
ACM
10 years 9 months ago
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
João Dias, Norman Ramsey
ESOP
1992
Springer
10 years 4 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
ICIP
2007
IEEE
11 years 1 months ago
Multiple Description Video Transcoding
In this paper we introduce the concept of multiple description video transcoding (MDVT). MDVT converts a single description encoded video into two or more descriptions at an interm...
Ali El Essaili, Shoaib Khan, Wolfgang Kellerer, Ec...
ICCL
1992
IEEE
10 years 3 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
books