619 search results - page 68 / 124 » The Design and Implementation of a Certifying Compiler |
119
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
ECRTS
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...