4770 search results - page 84 / 954 » Flexible Type Analysis |
134
Voted
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
114
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
120
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
121
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
102
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present an automatic method for character prototyping and font type characterization in machine-printed document images at a character level. To do so, we use a ...