397 search results - page 67 / 80 » The Kell Calculus: Operational Semantics and Type System |
OOPSLA
2004
Springer
14 years 27 days 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...
MFCS
2004
Springer
14 years 27 days ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
ICEIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...