5415 search results - page 310 / 1083 » The Implementation of Functional Programming Languages |
113
click to vote
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
123
click to vote
SFP
2004
15 years 2 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
109
click to vote
IOLTS
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose a procedure for self-testing of an FPGA programmed to implement a user-defined function. The procedure is intended to improve the detectability of FPGA delay faults. Th...
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
115
Voted
FDL
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...