12452 search results - page 2131 / 2491 » An exploration of program as language |
233
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
159
click to vote
APLAS
2006
ACM
16 years 21 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...
155
click to vote
HASKELL
2006
ACM
16 years 21 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...
180
click to vote
ITICSE
2006
ACM
16 years 20 days ago
2006
ACM
Current literature states that the undergraduate curriculum can no longer afford the luxury of a traditional compiler construction course. Nevertheless, there is an increasing ne...
156
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...