Sciweavers

8706 search results - page 418 / 1742
» Learning Subjective Language
Sort
View
PLDI
2003
ACM
15 years 9 months ago
Taming the IXP network processor
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
Lal George, Matthias Blume
POPL
2003
ACM
15 years 9 months ago
From control effects to typed continuation passing
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Hayo Thielecke
CIKM
2003
Springer
15 years 9 months ago
Addressing the lack of direct translation resources for cross-language retrieval
Most cross language information retrieval research concentrates on language pairs for which direct, rich, and often multiple translation resources already exist. However, for most...
Lisa Ballesteros, Mark Sanderson
HASKELL
2007
ACM
15 years 8 months ago
Why it's nice to be quoted: quasiquoting for haskell
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
Geoffrey Mainland
EMSOFT
2004
Springer
15 years 8 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha