5241 search results - page 306 / 1049 » Embedded Programming with C |
120
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
123
click to vote
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
115
click to vote
DEXA
2003
Springer
15 years 8 months ago
2003
Springer
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
127
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
122
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...