6201 search results - page 349 / 1241 » Implementation of Axiomatic Language |
178
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
264
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
Semistructured data may be irregular and incomplete and does not necessarily conform to a fixed schema. As with structured data, it is often desirable to maintain a history of cha...
289
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
171
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
153
Voted
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...