1071 search results - page 103 / 215 » Programming with enumerable sets of structures |
172
click to vote
HLPPP
1991
15 years 6 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
127
click to vote
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
130
click to vote
EOR
2006
15 years 3 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
122
click to vote
LISP
2008
15 years 3 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
126
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...