750 search results - page 55 / 150 » Declarative event-oriented programming |
108
click to vote
DALT
2006
Springer
15 years 5 months 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...
109
click to vote
IJCAI
1993
15 years 3 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
126
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
148
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
103
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...