We introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis. This Galois connection calculus and its type system are typed by abstract interpretation.

In this paper we present an overview of the connection between completely integrable systems and the background geometry of the flow. This relation is better seen when using a group-based concept of moving frame introduced by Fels and Olver in [Acta Appl. Math. 51 (1998), 161–213; 55 (1999), 127–208]. The paper discusses the close connection between different types of geometries and the type of...

Various concepts of orthogonality on the real line are reviewed that arise in connection with quadrature rules. Orthogonality relative to a positive measure and Gauss-type quadrature rules are classical. More recent types of orthogonality include orthogonality relative to a sign-variable measure, which arises in connection with Gauss-Kronrod quadrature, and power (or implicit) orthogonality enc...

the present study sets out to integrate the performance-based seismic design approach with the connection topology optimization method. performance-based connection topology optimization concept aims to simultaneously optimize the size of members and the type of connections with respect to the framework of performance-based seismic design. this new optimization concept is carried out for unbrac...