scientific article
From MaRDI portal
Publication:3758891
zbMath0622.06004MaRDI QIDQ3758891
George E. Strecker, Austin Melton, David A. Schmidt
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (25)
Trace-Relating Compiler Correctness and Secure Compilation ⋮ Pair algebras and Galois connections. ⋮ Lagois connections -- a counterpart to Galois connections ⋮ Programming from Galois connections ⋮ Galois connecting call-by-value and call-by-name ⋮ On the construction of adjunctions between a fuzzy preposet and an unstructured set ⋮ Connections ⋮ Fuzzy relations and fuzzy relational databases ⋮ Unnamed Item ⋮ Proving implications by algebraic approximation ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Bridging the gap between fair simulation and trace inclusion ⋮ Verification by augmented abstraction: The automata-theoretic view ⋮ Galois connections for bilattices ⋮ Upper Adjoints for Fast Inter-procedural Variable Equalities ⋮ Generating Isotone Galois Connections on an Unstructured Codomain ⋮ CPS-translation as adjoint ⋮ Lambda-dropping: Transforming recursive equations into programs with block structure ⋮ Fuzzy Galois connections on fuzzy posets ⋮ FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES ⋮ On the antisymmetry of Galois embeddings ⋮ Bottom-up abstract interpretation of logic programs ⋮ Pre-Galois Connection on Coalgebras for Generic Component Refinement ⋮ Regular algebra applied to language problems
This page was built for publication:
