Free News Alerts by Keyword
Interested in embedded technology? Are you an engineer or designer? e-clips helps you follow the latest news on key topics like multicore, FPGAs, 8051, ESL, PC/104 and more!

e-clips news alerts by keyword

paper    

A Foundation for Embedded Languages
Recent work on embedding object languages into Haskell use \phan- tom types' (i.e., parameterized types whose parameter does not occur on the right-hand side of the type definition) to ensure that the embedded object-language terms are simply typed. But is it a safe assumption that only simply-typed terms can be represented in Haskell using phantom types? And conversely, can all simply-typed terms be represented in Haskell under the...
preview: http://www.brics.dk   date: 08/2001/2002 |

paper    

Design Languages for Embedded Systems
Embedded systems are application-specific computers that interact with the physical world. Each has a diverse set of tasks to perform, and although a very flexible language might be able to handle all of them, instead a variety of problem-domain-specific languages have evolved that are easier to write, analyze, and compile. This paper surveys some of the more important lan-guages, introducing their central ideas quickly without...
preview: http://www1.cs.columbia.edu   date: 05/2001/2003 |

paper    

Improving Embedded Software Quality Using an External Preprocessor
The paper demonstrates on a simple example how a powerful preprocessor, or macro processor, can dramatically improve software maintainability even when hard-to-maintain optimized structures are used. Then some other applications of a preprocessor are discussed. A comparison of a preprocessor and a dedicated code generator is offered. Then desired features properties of a preprocessor are discussed. Finally, the paper introduces Unimal,...
preview: http://www.macroexpressions.com   date: 01/2001/2006 |

hot list    

Programming Languages Hot List of Links
List of Internet resources for Ada, C, C++, Forth and other major programming languages.
preview: http://www.techfest.com   |

article    

When less is more: Programming language technology for safety
Safety is a requirement in systems where failure could cause loss of human life or other catastrophic consequences. Developing safety-critical software is difficult, and the programming language choice is vital. However, languages that seem to be candidates – such as C, C++, Ada, and Java – are too complex to be used as-is. But language subsets are proving a viable remedy. Thus, it is important to understand these different languag...
preview: http://www.vmecritical.com   date: 06/17/2009 |

overview    

Programming Languages
Programming consists of two parts: control structures and data structures. Programming languages implement various control and data structures using a specific syntax and grammar. overall structure: Programming languages can be implemented with compilers, assemblers, and interpretters.
preview: http://www.osdata.com   |

book    

Languages for Digital Embedded Systems
Edwards in is the private sector, but a colleague has used this work for a one-semester graduate and senior-undergraduate course in embedded systems, and each chapter ends with a set of simple exercises similar to those used there. Readers are assumed to be familiar with one of the hardware or software languages, such as C or Verilog. Edwards presents and contrasts languages commonly used to describe the subsystems in a cellular phone . . .
preview: http://www.amazon.com   date: 08/2001/2000 |