3815 search results - page 139 / 763 » An Implementation of Session Types |
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
AFP
1995
Springer
13 years 11 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
SPC
2005
Springer
14 years 1 months ago
2005
Springer
The ephemeral pairing problem requires two or more specific physical nodes in a wireless broadcast network, that do not yet know each other, to establish a short-term relationship...