5451 search results - page 115 / 1091 » Typed Operational Semantics |
127
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
132
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
137
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
148
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...