1027 search results - page 106 / 206 » Language Support for Connector Abstractions |
UM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
LADS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
APLAS
2005
ACM
14 years 2 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...