3815 search results - page 188 / 763 » An Implementation of Session Types |
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
FSTTCS
1998
Springer
14 years 15 days ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
ICDE
2010
IEEE
2010
IEEE
Techniques for Efficiently Searching in Spatial, Temporal, Spatio-temporal, and Multimedia Databases
14 years 8 months ago
This tutorial provides a comprehensive and comparative overview of general techniques to efficiently support similarity queries in spatial, temporal, spatio-temporal, and multimedi...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...