93 search results - page 3 / 19 » A functional intermediate form for diverse source languages |
137
Voted
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
104
Voted
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
106
Voted
JFLP
2002
15 years 22 days ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
201
click to vote
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
108
Voted
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper presents an ergodic capacity analysis of an amplify-and-forward multiple-input, multiple-output two-hop system including the source to destination (direct) link. We firs...