10622 search results - page 1797 / 2125 » Python Programming Language |
162
click to vote
ITNG
2006
IEEE
16 years 21 days ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
156
click to vote
SCAM
2006
IEEE
16 years 21 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
233
click to vote
ACL2
2006
ACM
16 years 20 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 20 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 20 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...