1791 search results - page 13 / 359 » Two Types of Multiple-Conclusion Systems |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
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...