1953 search results - page 214 / 391 » Embedded Probabilistic Programming |
108
Voted
ADAEUROPE
2009
Springer
15 years 9 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
132
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
115
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
110
click to vote
HASKELL
2007
ACM
15 years 6 months ago
2007
ACM
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, ...
124
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...