18429 search results - page 133 / 3686 » Typing dynamic typing |
135
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this demonstration, we present an Eclipse plug-in that automatically identifies Type-Checking bad smells in Java source code, and resolves them by applying the “Replace Condi...
133
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
114
Voted
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
156
Voted
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
247
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...