632 search results - page 78 / 127 » Explicit Substitutions and Programming Languages |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
ENTCS
2002
13 years 7 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
Although it is acknowledged that internal iterators are easier and safer to use than conventional external iterators, it is commonly assumed that they are not applicable in languag...
DLS
2007
13 years 11 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...