678 search results - page 64 / 136 » A simple typed intermediate language for object-oriented lan... |
POPL
2000
ACM
14 years 1 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
COGSCI
2010
13 years 8 months ago
2010
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...