Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can be formalized as associative, commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical reactions and solutions, respectively. In this article, we generalize the notion of multiset used ...

Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can be formalized as associative, commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical reactions and solutions, respectively. In this article, we generalize the notion of multiset used ...

In this paper, convex continuous-time programming problem with inequality type of constraints is considered. We derive new saddle point optimality conditions and classical duality results such as weak strong properties, under additional regularity assumption. A fundamental tool, employed in the derivation necessary criteria result for programming, a version theorem alternative infinite-dimensio...

We consider the natural generalizations of packing and covering polyhedra in infinite dimensions, and study issues related to duality and integrality of extreme points for these sets. Using appropriate finite truncations we give conditions under which complementary slackness holds for primal/dual pairs of the infinite linear programming problems associated with infinite packing and covering pol...

This note establishes a limiting formula for the conic Lagrangian dual of convex infinite optimization problem, correcting classical version Karney [Math. Programming 27 (1983) 75-82] semi-infinite programs. A reformulation problem with single constraint leads to corresponding dual, called sup-dual, and also primal in case when strong Slater condition holds, which entails sup-duality.

A nonconvex generalized semi-infinite programming problem is considered involving parametric max-functions in both, the objective and the constraints. For a fixed vector of parameters, the values of these parametric max-functions are given as optimal values of convex quadratic programming problems. Assuming that for each parameter the parametric quadratic problems satisfy the strong duality rel...

This paper presents a new practical approach to complex quadratic programming which solves the broad class of complex approximation problems employing finitization of semi-infinite formulations. The approximation problem may be general with arbitrarily complex basis functions. By using a new technique, the associated semi-infinite quadratic programming problem can be solved taking advantage of ...

In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a natural generalization of logic programming and coinductive logic programming, which in turn generalizes other extensions of logic programming, such as infinite trees, lazy predicates, and concurrent communicating pre...

Automated analysis of recursive derivations in logic programming is known to be a hard problem. Both termination and non-termination are undecidable problems in Turing-complete languages. However, some declarative languages offer a practical work-around for this problem, by making a clear distinction between whether a program is meant to be understood inductively or coinductively. For programs ...

We present CoCaml, a functional programming language extending OCaml, which allows us to define functions on coinductive datatypes parameterized by an equation solver. We provide numerous examples that attest to the usefulness of the new programming constructs, including operations on infinite lists, infinitary λ-terms and p-adic numbers. keywords: coalgebraic types, functional programming, rec...