3056 search results - page 233 / 612 » Compiling Embedded Languages |
113
click to vote
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
104
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
138
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
106
click to vote
POPL
1994
ACM
15 years 6 months ago
1994
ACM
We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and dele...
90
Voted
ICCL
1992
IEEE
15 years 6 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...