750 search results - page 128 / 150 » Declarative event-oriented programming |
100
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
134
click to vote
EPIA
2003
Springer
15 years 7 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
96
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of ob...
126
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
ILP
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...