11653 search results - page 123 / 2331 » The Development of the C Language |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
IWMM
2009
Springer
14 years 4 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
ICLP
1995
Springer
14 years 1 months ago
1995
Springer
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...