183 search results - page 4 / 37 » A new method for compiling schizophrenic synchronous program... |
123
click to vote
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
ENTCS
2008
14 years 11 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...
118
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
75
Voted
APLAS
2000
ACM
15 years 4 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...