351 search results - page 15 / 71 » Nominal Equational Logic |
AGP
2003
IEEE
14 years 2 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...
FPL
2006
Springer
14 years 11 days 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
14 years 2 months ago
2005
Springer
DAC
1992
ACM
14 years 24 days ago
1992
ACM
PLILP
1992
Springer
14 years 23 days ago
1992
Springer