Sciweavers

3056 search results - page 128 / 612
» Compiling Embedded Languages
Sort
View
GPCE
2004
Springer
14 years 1 months ago
Optimising Embedded DSLs Using Template Haskell
Sean Seefried, Manuel M. T. Chakravarty, Gabriele ...
IFIP
2003
Springer
14 years 1 months ago
Embedding MANETs in the Real World
Christian F. Tschudin, Henrik Lundgren, Erik Nords...
ICCS
2004
Springer
14 years 1 months ago
Extending Camelot with Mutable State and Concurrency
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
Stephen Gilmore
CODES
1999
IEEE
14 years 18 days ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
JFP
2007
103views more  JFP 2007»
13 years 8 months ago
Warnings for pattern matching
We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, ...
Luc Maranget