968 search results - page 32 / 194 » The Molen Programming Paradigm |
157
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
157
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
119
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
131
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
153
click to vote
CLIMA
2006
15 years 5 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...