2076 search results - page 17 / 416 » Functional logic overloading |
DALT
2006
Springer
14 years 9 days ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
AH
2008
Springer
14 years 3 months ago
2008
Springer
Adaptive hypermedia systems can alleviate information overload on the Web by personalising the delivery of resources to the user. These systems are however afflicted with difficu...
ISCAS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we present a new logic synthesis method for PLA with 2-input logic elements. A PLA with 2-input logic elements can achieve low-power dissipation and high-speed oper...
ISMVL
2000
IEEE
14 years 6 days ago
2000
IEEE
This paper focuses on the fixed polarity ReedMuller (FPRM) expression of multiple-valued logic (MVL) symmetric functions. In the FPRM expression, each variable occurs in exactly o...
LISP
2008
13 years 8 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...