1712 search results - page 5 / 343 » A Computational Approach to Binding Theory |
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
WOLLIC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
BMCBI
2007
14 years 11 months ago
2007
Background: With the advent of increasing sequence and structural data, a number of methods have been proposed to locate putative protein binding sites from protein surfaces. Ther...
JECR
2002
14 years 11 months ago
2002
means-end theory, widely used in market research, identifies three levels of abstraction
AIMS
2007
Springer
15 years 5 months ago
2007
Springer
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...