8021 search results - page 77 / 1605 » A Type System for Tom |
TIC
1998
Springer
14 years 7 hour ago
1998
Springer
Suppose we translate two different source languages,
TOMS
2011
13 years 2 months ago
2011
Abstract. We present a partitioned algorithm for reducing a symmetric matrix to a tridiagonal form, with partial pivoting. That is, the algorithm computes a factorization P AP T = ...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
PDP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...