78 search results - page 6 / 16 » Beyond static and dynamic scope |
166
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
146
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
145
click to vote
NPIV
1998
ACM
15 years 9 months ago
1998
ACM
Placing numerous data objects and their corresponding labels in limited screen space is a challenging problem in information visualization systems. Extending map-oriented techniqu...
187
click to vote
PODS
1994
ACM
15 years 9 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
172
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...