Sciweavers

1953 search results - page 161 / 391
» Embedded Probabilistic Programming
Sort
View
IASTEDSEA
2004
15 years 7 months ago
A component model for building systems software
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar...
JFP
2002
100views more  JFP 2002»
15 years 6 months ago
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
Peter Thiemann
SAC
2006
ACM
15 years 6 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
GCSE
1999
Springer
15 years 10 months ago
Aspect-Oriented Compilers
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
APSEC
2001
IEEE
15 years 10 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge