1264 search results - page 153 / 253 » Abstract machines for programming language implementation |
106
Voted
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
105
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
133
Voted
MPC
2010
Springer
15 years 7 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
121
Voted
PADL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
123
click to vote
HPCA
1995
IEEE
15 years 6 months ago
1995
IEEE
Shared memory is an appealing abstraction for parallel programming. It must be implemented with caches in order toperform well, however, and caches require a coherence mechanism t...