3256 search results - page 416 / 652 » Mixin-Based Programming in C |
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
DAC
2006
ACM
14 years 4 months ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
CSMR
2005
IEEE
14 years 4 months ago
2005
IEEE
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...