8766 search results - page 597 / 1754 » Functional logic programming |
136
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
151
click to vote
TVLSI
2002
15 years 4 months ago
2002
Circular built-in self-test (BIST) is a "test per clock" scheme that offers many advantages compared with conventional BIST approaches in terms of low area overhead, simp...
156
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
168
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
125
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...