4320 search results - page 225 / 864 » Functional Objects |
170
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
202
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
187
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
The ability to deal with uncertain information is becoming increasingly important for modern database applications. Whereas a conventional (certain) object is usually represented ...
146
click to vote
ESAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we propose a new role for the agent metaphor in the definition of the organizational structure of multiagent systems. The agent metaphor is extended to cons...
167
click to vote
SEE
1997
Springer
15 years 10 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...