11 search results - page 2 / 3 » tic 2000 |
TIC
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
COORDINATION
2000
Springer
13 years 10 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
TIC
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
ISHPC
2000
Springer
13 years 10 months ago
2000
Springer
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...
COGSCI
2004
13 years 6 months ago
2004
In the present study, using event-related functional magnetic resonance imaging, we investigated a group of participants on a grammaticality classification task after they had bee...