201 search results - page 2 / 41 » Declaring Numbers |
UML
2005
Springer
14 years 3 months ago
2005
Springer
We present Tefkat, an implementation of a language designed speci cally for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
DALT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
IJCAI
1989
13 years 11 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
CODES
1994
IEEE
14 years 1 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...