5241 search results - page 47 / 1049 » Embedded Programming with C |
ESOP
1999
Springer
14 years 1 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
SAC
2000
ACM
14 years 23 days ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
RTAS
1996
IEEE
14 years 1 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
CC
2005
Springer
14 years 2 months ago
2005
Springer
POS
1994
Springer
14 years 1 months ago
1994
Springer
Persistent programming languages exhibit several requirements that affect the generation of native code, namely: garbage collection; arbitrary persistence of code, data and proces...