351 search results - page 15 / 71 » Nominal Equational Logic |
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
110
click to vote
FPL
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
DAC
1992
ACM
15 years 3 months ago
1992
ACM
PLILP
1992
Springer
15 years 3 months ago
1992
Springer