1497 search results - page 186 / 300 » Extended static checking |
104
click to vote
ECOOP
1999
Springer
15 years 5 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
92
Voted
RULES
1995
Springer
15 years 4 months ago
1995
Springer
Engineering applications that use Active DBMSs (ADBMSs) often need to group activities into modes that are shifted during the execution of different tasks. This paper presents a me...
160
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
114
Voted
TSE
1998
15 years 12 days ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
110
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...