8021 search results - page 77 / 1605 » A Type System for Tom |
134
Voted
TIC
1998
Springer
15 years 9 months ago
1998
Springer
Suppose we translate two different source languages,
132
click to vote
TOMS
2011
14 years 12 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 = ...
136
click to vote
CONCUR
2004
Springer
15 years 10 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...
148
click to vote
ESOP
2009
Springer
15 years 8 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...
161
click to vote
PDP
2008
IEEE
15 years 11 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...