5241 search results - page 292 / 1049 » Embedded Programming with C |
103
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
141
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
120
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
169
click to vote
IASTEDSEA
2004
15 years 4 months ago
2004
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 ...
134
click to vote
JFP
2002
15 years 2 months ago
2002
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...