10575 search results - page 1706 / 2115 » Programming Languages |
160
click to vote
APLAS
2006
ACM
16 years 24 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
156
click to vote
HASKELL
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
148
click to vote
WIKIS
2006
ACM
16 years 23 days ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
169
click to vote
CODES
2005
IEEE
16 years 13 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
170
click to vote
CSMR
2005
IEEE
16 years 13 days 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...