93 search results - page 3 / 19 » A functional intermediate form for diverse source languages |
FLOPS
2010
Springer
14 years 23 days 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 ...
GPCE
2005
Springer
13 years 11 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...
JFLP
2002
13 years 5 months 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...
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...
ICC
2009
IEEE
13 years 3 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...