We consider a generalized semi-infinite programming problem (GSIP) with one semi-infinite constraint where the index set depends on the variable to be minimized. Keeping in mind the integral global optimization method of Zheng & Chew and its modifications we would like to outline theoretical considerations for determining coarse approximations of a solution of (GSIP) via global optimization of ...

Generalized semi-infinite optimization problems (GSIP) are considered. The difference between GSIP and standard semi-infinite problems (SIP) is illustrated by examples. By applying the ’Reduction Ansatz’, optimality conditions for GSIP are derived. Numerical methods for solving GSIP are considered in comparison with methods for SIP. From a theoretical and a practical point of view it is investi...

Inductive datatypes provide mechanisms to define finite data such as finite lists and trees via constructors and allow programmers to analyze and manipulate finite data via pattern matching. In this paper, we develop a dual approach for working with infinite data structures such as streams. Infinite data inhabits coinductive datatypes which denote greatest fixpoints. Unlike finite data which is...