4770 search results - page 6 / 954 » Flexible Type Analysis |
HT
1998
ACM
13 years 11 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
JIRS
2008
13 years 7 months ago
2008
