3583 search results - page 41 / 717 » A Type System for the Relational Calculus of Object Systems |
ICALP
2003
Springer
14 years 2 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
COMPASS
1994
14 years 27 days ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
OOPSLA
1998
Springer
14 years 1 months ago
1998
Springer
POS
1990
Springer
14 years 25 days ago
1990
Springer
