5096 search results - page 252 / 1020 » Associations as a Language Construct |
146
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
191
click to vote
CLIMA
2009
15 years 4 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
174
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
162
click to vote
VL
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper describes fractal approaches to the problems which associate with visualizing huge hierarchies. The geometrical characteristic of a fractal, selfsimilarity, allows user...
148
click to vote
FPCA
1991
15 years 10 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...