6527 search results - page 395 / 1306 » On Typing Information Flow |
168
click to vote
IPM
2008
15 years 6 months ago
2008
In this paper we investigate how information surrogates might be useful in exploratory search and what information it is useful for a surrogate to contain. By comparing assessment...
181
click to vote
PLDI
2003
ACM
16 years 4 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...
190
click to vote
CAI
2009
Springer
16 years 1 months ago
2009
Springer
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
181
click to vote
ICTAC
2009
Springer
16 years 1 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...
150
click to vote
ITCC
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper studies two families of codes over Z4, MacDonald codes of type α and type β. The torsion code, weight distribution, and Gray image properties are studied. Some intere...