7529 search results - page 128 / 1506 » The Modula-3 Type System |
148
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
136
click to vote
MSCS
2008
15 years 4 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
169
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
137
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
243
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...