8021 search results - page 4 / 1605 » A Type System for Tom |
ISSAC
1998
Springer
13 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
IFIP
2005
Springer
14 years 1 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...
LISA
2007
13 years 10 months ago
2007
WETICE
2007
IEEE
14 years 1 months ago
2007
IEEE
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
