7681 search results - page 80 / 1537 » Typed Membrane Systems |
129
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
161
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
147
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...