2036 search results - page 18 / 408 » A generic type-and-effect system |
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
JFP
2006
13 years 7 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
ICEIS
2003
IEEE
14 years 25 days ago
2003
IEEE
IASTEDSEA
2004
13 years 9 months ago
2004
There is a growing interest in international collaboration, and therefore a need for internationalized software that can be localized to various languages. Traditionally, systems ...
LCPC
2001
Springer
13 years 12 months ago
2001
Springer